/* OsIf call to get the processor number of the core making the access.  */
uint8_t Sys_GetCoreID(void)
/* OsIf call to get the processor number of the core making the access.  */
uint8_t Sys_GetCoreID(void)
{
	return ((uint8_t)(IP_MSCM->CPXNUM & MSCM_CPXNUM_CPN_MASK));
}