Searched refs:IN_WFI (Results 1 – 4 of 4) sorted by relevance
344 if (vcpu_get_flag(vcpu, IN_WFI)) in vgic_v4_want_doorbell()376 if (vcpu_get_flag(vcpu, IN_WFI)) in vgic_v4_load()
1193 vcpu_set_flag(vcpu, IN_WFI); in vcpu_mode_is_bad_32bit() 1201 vcpu_clear_flag(vcpu, IN_WFI); in kvm_irq_update_run()
1034 if (vcpu->scheduled_out && !vcpu_get_flag(vcpu, IN_WFI)) in vncr_tlb_intersects()
1202 #define IN_WFI __vcpu_single_flag(sflags, BIT(6))1101 #define IN_WFI global() macro