Searched refs:vcpu_get_rflags (Results 1 – 9 of 9) sorted by relevance
106 guest_rflags = vcpu_get_rflags(vcpu); in is_guest_irq_enabled()262 vcpu_set_rflags(vcpu, vcpu_get_rflags(vcpu) | HV_ARCH_VCPU_RFLAGS_RF); in vcpu_inject_exception()344 ctx.rflags = vcpu_get_rflags(vcpu); in external_interrupt_vmexit_handler()
143 is_user_mode_addr && ((vcpu_get_rflags(vcpu) & RFLAGS_AC) == 0UL)) { in local_gva2gpa_common()
109 (void)vcpu_get_rflags(vcpu); in save_world_ctx()
740 || ((vcpu_get_rflags(vcpu) & RFLAGS_VM) != 0U)) { in vmxon_vmexit_handler()786 || ((vcpu_get_rflags(vcpu) & RFLAGS_VM) != 0U)) { in check_vmx_permission()
116 uint64_t vcpu_get_rflags(struct acrn_vcpu *vcpu) in vcpu_get_rflags() function
84 vcpu_get_rflags(vcpu)); in dump_guest_reg()
1332 = vcpu_get_rflags(vcpu); in profiling_pre_vmexit_handler()
890 vcpu_get_rflags(vcpu), in dump_vcpu_reg()
478 uint64_t vcpu_get_rflags(struct acrn_vcpu *vcpu);
Completed in 17 milliseconds