[][src]Type Definition rpi_pico_sdk::register_t

type register_t = i64;