COMMON_INTR_MAP_REG_TID_SHIFT
return ((mondo) | (cpu_id << COMMON_INTR_MAP_REG_TID_SHIFT) |
COMMON_INTR_MAP_REG_TID_SHIFT);
return ((mondo) | (agent_id << COMMON_INTR_MAP_REG_TID_SHIFT) |
COMMON_INTR_MAP_REG_TID_SHIFT) |