XICS_RM_KICK_VCPU
hcore = find_available_hostcore(XICS_RM_KICK_VCPU);
this_icp->rm_action |= XICS_RM_KICK_VCPU;
case XICS_RM_KICK_VCPU:
if (icp->rm_action & XICS_RM_KICK_VCPU) {