mv_gpio_edge
static void mv_gpio_edge(device_t, uint32_t, uint8_t);
mv_gpio_edge(s->dev, s->pin, 0);
mv_gpio_edge(s->dev, s->pin, 1);