/* 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*)((uint32_t)&NVIC->ICER[0]);
    *(CORE_nvicMask_t*)((uint32_t)&NVIC->ICER[0]) = *disable;
    )
}