Symbol: u_kernel
usr.bin/top/display.h
58
void u_kernel(int *stats);
usr.bin/top/top.c
576
u_kernel(system_info.kernel);