Searched defs:booted_kernel (Results 1 – 8 of 8) sorted by relevance
65 char booted_kernel[64]; /* 80: name of booted kernel */ member78 char booted_kernel[64]; /* 80/88: name of booted kernel */ member
72 char booted_kernel[64]; /* 80: name of booted kernel */ member98 char booted_kernel[64]; /* name of booted kernel */ member
167 char booted_kernel[128]; variable
148 char *booted_kernel; variable
303 static char booted_kernel[130]; in _kvm_open() local
92 char *booted_kernel; variable
429 const char *booted_kernel = get_booted_kernel(); in module_init() local