Searched refs:GUEST_RFLAGS (Results 1 – 3 of 3) sorted by relevance
71 …let rflags: u64 = vmx_vmread(VmcsFields::GUEST_RFLAGS as u32).unwrap() | 0x0001_0000; // set RF fl… in vmexit_vmx_instruction_executed()72 vmx_vmwrite(VmcsFields::GUEST_RFLAGS as u32, rflags)?; in vmexit_vmx_instruction_executed()193 let _guest_rflags = vmx_vmread(VmcsFields::GUEST_RFLAGS as u32).unwrap(); in vmexit_handler()
203 vmx_vmwrite(VmcsFields::GUEST_RFLAGS as u32, 2)?; in vmcs_init_guest()
225 GUEST_RFLAGS = encode_vmcs_field_full(VmcsType::GUEST, VmcsWidth::NATURAL, 16) as isize, enumerator