KVM_REG_PPC_ICP_PPRI_SHIFT
((u64)state.pending_pri << KVM_REG_PPC_ICP_PPRI_SHIFT);
pending_pri = icpval >> KVM_REG_PPC_ICP_PPRI_SHIFT;
(u64)0xff << KVM_REG_PPC_ICP_PPRI_SHIFT;