Searched defs:booted_kernel (Results 1 – 1 of 1) sorted by relevance
73 char booted_kernel[64]; /* 80: name of booted kernel */ member100 char booted_kernel[64]; /* name of booted kernel */ member