Type Definition gpio_irq_callback_t
rpi_pico_sdk
type gpio_irq_callback_t = Option<unsafe extern "C" fn(gpio: uint, events: u32)>;