Searched refs:invlpg (Results 1 – 1 of 1) sorted by relevance
67 static void x86_phys_map_page(uintptr_t virt, phys_addr_t phys, int invlpg) in x86_phys_map_page() argument83 if (invlpg) { in x86_phys_map_page()