[][src]Type Definition rpi_pico_sdk_sys::register_t

type register_t = i64;