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

type syscall_arg_t = u_int64_t;