The !gpiokd.gpioext command displays information about a GPIO controller.
!gpiokd.gpioext ExtensionAddress [Flags]
Address of the _DEVICE_EXTENSION structure that represents the GPIO controller.
Flags that specify which information is displayed. This parameter is a bitwise OR of one or more of the following flags.
Displays the pin table for each bank.
If bit 0 (0x1) is set and this flag (0x2) is set, the display includes the Enable and Mask registers for each bank.
If bit 0 (0x1) is set and this flag (0x4) is set, the display includes unconfigured pins.