KVM_XICS_PRIORITY_SHIFT
val |= prio << KVM_XICS_PRIORITY_SHIFT;
prio = val >> KVM_XICS_PRIORITY_SHIFT;
guest_prio = val >> KVM_XICS_PRIORITY_SHIFT;