Searched refs:IN_WFI (Results 1 – 4 of 4) sorted by relevance
346 return its_make_vpe_non_resident(vpe, !!vcpu_get_flag(vcpu, IN_WFI)); in vgic_v4_put()357 if (vcpu_get_flag(vcpu, IN_WFI)) in vgic_v4_load()
942 vcpu_set_flag(vcpu, IN_WFI); in kvm_vcpu_wfi()950 vcpu_clear_flag(vcpu, IN_WFI); in kvm_vcpu_wfi()
699 if (vcpu->scheduled_out && !vcpu_get_flag(vcpu, IN_WFI)) in kvm_vcpu_put_hw_mmu()
922 #define IN_WFI __vcpu_single_flag(sflags, BIT(7)) macro