Searched refs:IN_WFI (Results 1 – 3 of 3) 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()
710 vcpu_set_flag(vcpu, IN_WFI); in kvm_vcpu_wfi()718 vcpu_clear_flag(vcpu, IN_WFI); in kvm_vcpu_wfi()
737 #define IN_WFI __vcpu_single_flag(sflags, BIT(7)) macro