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

/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/
H A Dutilization_socket.c68 uint64_t total, kernel, idle; local
/seL4-camkes-master/projects/global-components/components/BenchUtiliz/src/
H A DbenchUtiliz.c39 uint64_t total, kernel, idle; local
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/
H A Dutilization_socket.c97 uint64_t total, kernel, idle; local
/seL4-camkes-master/kernel/manual/parts/
H A Dbootup.tex

Completed in 43 milliseconds