ctxt_has_s1poe
if (ctxt_has_s1poe(ctxt))
static inline bool ctxt_has_s1poe(struct kvm_cpu_context *ctxt);
if (ctxt_has_s1poe(ctxt))
if (ctxt_has_s1poe(ctxt))
if (ctxt_has_s1poe(ctxt))
if (ctxt_has_s1poe(&vcpu->arch.ctxt))
if (ctxt_has_s1poe(&vcpu->arch.ctxt))