Type Definition picotcp_sys::pico_time [−] [src]

type pico_time = uint64_t;