Searched refs:save_cr3 (Results 1 – 1 of 1) sorted by relevance
80 uintptr_t save_cr3; in l1_guest_code() local98 save_cr3 = vmreadz(GUEST_CR3); in l1_guest_code()104 vmwrite(GUEST_CR3, save_cr3); in l1_guest_code()