nmi_t              38 arch/mips/sgi-ip27/ip27-nmi.c 	nmi_t *nmi_addr;
nmi_t              40 arch/mips/sgi-ip27/ip27-nmi.c 	nmi_addr = (nmi_t *)NMI_ADDR(get_nasid(), slice);