nmi_pcpu
struct nmi_pcpu *np;
np = ((struct nmi_pcpu *)&dblfault_stack[sizeof(
np = ((struct nmi_pcpu *)&nmi0_stack[sizeof(nmi0_stack)]) - 1;
np = ((struct nmi_pcpu *)&mce0_stack[sizeof(mce0_stack)]) - 1;
np = ((struct nmi_pcpu *)&dbg0_stack[sizeof(dbg0_stack)]) - 1;
CTASSERT(sizeof(struct nmi_pcpu) == 16);
struct nmi_pcpu *np;
np = ((struct nmi_pcpu *)&doublefault_stack[
np = ((struct nmi_pcpu *)&nmi_stack[NMI_STACK_SIZE]) - 1;
np = ((struct nmi_pcpu *)&mce_stack[MCE_STACK_SIZE]) - 1;
np = ((struct nmi_pcpu *)&dbg_stack[DBG_STACK_SIZE]) - 1;
va = __pcpu[i].pc_common_tss.tss_ist1 + sizeof(struct nmi_pcpu);
va = __pcpu[i].pc_common_tss.tss_ist2 + sizeof(struct nmi_pcpu);
sizeof(struct nmi_pcpu);
va = __pcpu[i].pc_common_tss.tss_ist4 + sizeof(struct nmi_pcpu);