pub type GpioController = *mut c_void;