MMU.flush_icache();