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

/freebsd-9.3-release/release/picobsd/build/
H A Dpicobsd432 do_kernel() { # OK function

Completed in 97 milliseconds