Searched refs:guest_cr3 (Results 1 – 1 of 1) sorted by relevance
93 let guest_cr3 = vmx_vmread(VmcsFields::GUEST_CR3 as u32).expect("Failed to read eptp"); in tdp_get_cr3() localVariable94 return guest_cr3; in tdp_get_cr3()