/* Enter a NVIC mask section. 
When a NVIC mask section is entered, specified NVIC interrupts are disabled. */
void CORE_EnterNvicMask(CORE_nvicMask_t *nvicState, const CORE_nvicMask_t *disable)
/* Enter a NVIC mask section. 
When a NVIC mask section is entered, specified NVIC interrupts are disabled. */
void CORE_EnterNvicMask(CORE_nvicMask_t *nvicState, const CORE_nvicMask_t *disable)
{
  CORE_CRITICAL_SECTION(
    *nvicState = *(CORE_nvicMask_t*)&NVIC->ICER[0];
    *(CORE_nvicMask_t*)&NVIC->ICER[0] = *disable;
  )
}