KVMPPC_EPR_KERNEL
else if (vcpu->arch.epr_flags & KVMPPC_EPR_KERNEL) {
vcpu->arch.epr_flags |= KVMPPC_EPR_KERNEL;