gpio_debug
static void gpio_debug(dev_info_t *dip, char *format, uint_t arg1, uint_t arg2,
gpio_debug(dip, format, (uint_t)arg1, (uint_t)arg2, (uint_t)arg3, \