SRR1_PREFIXED
#define REASON_PREFIXED SRR1_PREFIXED
if (kvmppc_get_msr(vcpu) & SRR1_PREFIXED) {
bool is_prefixed = !!(kvmppc_get_msr(vcpu) & SRR1_PREFIXED);
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
(kvmppc_get_msr(vcpu) & SRR1_PREFIXED));
(kvmppc_get_msr(vcpu) & SRR1_PREFIXED);
(kvmppc_get_msr(vcpu) & SRR1_PREFIXED);
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
(kvmppc_get_msr(vcpu) & SRR1_PREFIXED));
err | (kvmppc_get_msr(vcpu) & SRR1_PREFIXED));
(kvmppc_get_msr(vcpu) & SRR1_PREFIXED));
(kvmppc_get_msr(vcpu) & SRR1_PREFIXED));
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,
kvmppc_core_queue_fpunavail(vcpu, kvmppc_get_msr(vcpu) & SRR1_PREFIXED);
kvmppc_core_queue_vsx_unavail(vcpu, kvmppc_get_msr(vcpu) & SRR1_PREFIXED);
kvmppc_core_queue_vec_unavail(vcpu, kvmppc_get_msr(vcpu) & SRR1_PREFIXED);
kvmppc_get_msr(vcpu) & SRR1_PREFIXED,