/* Sets the priority grouping of the interrupt controller. */
void IntPriorityGroupingSet(uint32_t ui32Bits)
/* Sets the priority grouping of the interrupt controller. */
void IntPriorityGroupingSet(uint32_t ui32Bits)
{
    ASSERT(ui32Bits < NUM_PRIORITY);
    HWREG(NVIC_APINT) = NVIC_APINT_VECTKEY | g_pui32Priority[ui32Bits];
}