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