Symbol: MIPSCPU_INT_COREHI