Searched defs:kernel (Results 1 – 4 of 4) sorted by relevance
32 void (*kernel)(void); in main() local
36 static uchar *kernel = (uchar*)Bootkernaddr; variable
553 static char *kernel; in system() local
29 Extern int kernel; variable