imx51_gpio_pin_max
static int imx51_gpio_pin_max(device_t, int *);
DEVMETHOD(gpio_pin_max, imx51_gpio_pin_max),