Searched refs:guest_rflags (Results 1 – 4 of 4) sorted by relevance
102 uint64_t guest_rflags, guest_state; in is_guest_irq_enabled() local106 guest_rflags = vcpu_get_rflags(vcpu); in is_guest_irq_enabled()108 if ((guest_rflags & HV_ARCH_VCPU_RFLAGS_IF) != 0UL) { in is_guest_irq_enabled()
170 uint64_t guest_rflags; member
293 uint64_t guest_rflags; member
628 = (uint32_t)get_cpu_var(profiling_info.vm_info).guest_rflags; in profiling_pmi_handler()1331 get_cpu_var(profiling_info.vm_info).guest_rflags in profiling_pre_vmexit_handler()
Completed in 10 milliseconds