Symbol: MSR_FRED_RSP1
sys/amd64/amd64/machdep.c
1257
wrmsr(MSR_FRED_RSP1, (uint64_t)&nmi0_stack[
sys/amd64/amd64/mp_machdep.c
264
wrmsr(MSR_FRED_RSP1, (uint64_t)&nmi_stack[NMI_STACK_SIZE]);