- COMMPAGE_DESCRIPTOR(sys_icache_invalidate,_COMM_PAGE_FLUSH_ICACHE,0,0)
+// void sysIcacheInvalidate( void *p, size_t len );
+
+COMMPAGE_FUNCTION_START(sys_icache_invalidate, 32, 4)
+ // This is a NOP on intel processors, since the intent of the API
+ // is to make data executable, and Intel L1Is are coherent with L1D.
+ // We can use same routine both in 32 and 64-bit mode, since it is
+ // just a RET instruction.
+ ret
+COMMPAGE_DESCRIPTOR(sys_icache_invalidate,_COMM_PAGE_FLUSH_ICACHE,0,0)