Searched refs:GUEST_CR3 (Results 1 – 3 of 3) sorted by relevance
87 let guest_cr3 = vmx_vmread(VmcsFields::GUEST_CR3 as u32).expect("Failed to read eptp"); in tdp_get_cr3()
246 vmx_vmwrite(VmcsFields::GUEST_CR3 as u32, 0)?; in vmcs_init_guest()
210 GUEST_CR3 = encode_vmcs_field_full(VmcsType::GUEST, VmcsWidth::NATURAL, 1) as isize, enumerator