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

/src/sys/arch/sbmips/include/
H A Dautoconf.h65 char booted_kernel[64]; /* 80: name of booted kernel */ member in struct:bootinfo_v1
78 char booted_kernel[64]; /* 80/88: name of booted kernel */ member in struct:bootinfo_v1_int
/src/sys/arch/evbmips/sbmips/
H A Dautoconf.h65 char booted_kernel[64]; /* 80: name of booted kernel */ member in struct:bootinfo_v1
78 char booted_kernel[64]; /* 80/88: name of booted kernel */ member in struct:bootinfo_v1_int
/src/sys/arch/hpcmips/hpcmips/
H A Dmachdep.c167 char booted_kernel[128]; variable in typeref:typename:char[128]
/src/sys/arch/alpha/include/
H A Dautoconf.h72 char booted_kernel[64]; /* 80: name of booted kernel */ member in struct:bootinfo_v1
98 char booted_kernel[64]; /* name of booted kernel */ member in struct:bootinfo_kernel
/src/lib/libkvm/
H A Dkvm.c303 static char booted_kernel[130]; local in function:_kvm_open
[all...]
/src/sys/arch/powerpc/powerpc/
H A Dpowerpc_machdep.c92 char *booted_kernel; variable in typeref:typename:char *
/src/sys/arch/arm/arm32/
H A Darm32_machdep.c149 char *booted_kernel; variable in typeref:typename:char *
/src/sys/kern/
H A Dkern_module.c451 const char *booted_kernel = get_booted_kernel(); local in function:module_init

Completed in 10 milliseconds