Searched defs:dev_t (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/tests/nolibc/
H A Dnolibc.h20 typedef uint64_t dev_t; typedef

Completed in 63 milliseconds