diff --git a/hypervisor/include/arch/x86/mmu.h b/hypervisor/include/arch/x86/mmu.h
index cfaccb598..a138b7c06 100644
--- a/hypervisor/include/arch/x86/mmu.h
+++ b/hypervisor/include/arch/x86/mmu.h
@@ -150,6 +150,9 @@ void flush_address_space(void *addr, uint64_t size);
  */
 void invept(const void *eptp);
 
+/* FIX-ME:
+ * this is an workaround for pSRAM protection. We should implement full emulation for WBINVD
+ */
 extern volatile bool psram_is_initialized;
 static inline void cache_flush_invalidate_all(void)
 {