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

type syscall_arg_t = u_int64_t;