[−][src]Type Definition rpi_pico_sdk_sys::user_addr_t

type user_addr_t = u_int64_t;