Function__NVIC_GetPendingIRQ\brief Get Pending Interrupt
\details Reads the NVIC pending register and returns the pending bit for the specified device specific interrupt.
\
Deployment/Examples/simple_test_k64f_gcc/mbed/TARGET_K64F/core_armv8mbl.h:1337