/* Get Interrupt Priority. 
Reads the priority of an interrupt. The interrupt number can be positive to specify an external (device specific) interrupt, or negative to specify an internal (core) interrupt.  */
uint32_t drv_nvic_get_prio(int32_t IRQn)
/* Get Interrupt Priority. 
Reads the priority of an interrupt. The interrupt number can be positive to specify an external (device specific) interrupt, or negative to specify an internal (core) interrupt.  */
uint32_t drv_nvic_get_prio(int32_t IRQn)
{
    return ((uint32_t)(((NVIC->IPR[ _IP_IDX(IRQn)] >> _BIT_SHIFT(IRQn)) & (uint32_t)0xFFUL) >> (8U - s_nvic_prio_bits)));
}