d927d443e1
either aborts or exits, but never returns. Tag it as a non-returning function rather than supply a bogus return(0) at the end of main. CID: 1382885 Sponsored by: Netflix |
||
---|---|---|
.. | ||
test | ||
userboot | ||
Makefile | ||
Makefile.inc | ||
userboot.h |