Symbol: get_booted_kernel
sys/kern/kern_module.c
454
const char *booted_kernel = get_booted_kernel();
sys/sys/systm.h
173
extern const char *get_booted_kernel(void);