mv_gpio_double_edge_init
static void mv_gpio_double_edge_init(device_t, int);
mv_gpio_double_edge_init(dev, pin);