Searched refs:write_cr3 (Results 1 – 4 of 4) sorted by relevance
72 void write_cr3(unsigned long cr3) in write_cr3() function
511 write_cr3(v->arch.cr3); in write_ptbase()
87 void write_cr3(unsigned long cr3);
114 write_cr3(virt_to_maddr(efi_l4_pgtable)); in efi_rs_enter()123 write_cr3(state->cr3); in efi_rs_leave()
Completed in 12 milliseconds