Symbol: sysctl_machdep_adjkerntz
sys/platform/pc64/x86_64/machdep.c
1581
&adjkerntz, 0, sysctl_machdep_adjkerntz, "I", "");
sys/platform/vkernel64/x86_64/cpu_regs.c
650
&adjkerntz, 0, sysctl_machdep_adjkerntz, "I", "");