Definition at line 81 of file gpio.h.
Referenced by GpioRegisterIrqHandler().
Definition at line 83 of file gpio.h.