Forgot vmm_flush_tlb() function