Definition at line 129 of file gpio.h.
Referenced by GpioRegisterIrqHandler().
Definition at line 131 of file gpio.h.