Searched refs:get_cr3 (Results 1 – 3 of 3) sorted by relevance
53 pml5_pa = get_cr3() & PHYSICAL_PAGE_MASK; in l1_guest_code()
283 vmwrite(HOST_CR3, get_cr3()); in init_vmcs_host_state()
567 static inline u64 get_cr3(void) in get_cr3() function