cont_nmi_dump      31 arch/mips/sgi-ip27/ip27-nmi.c 	void cont_nmi_dump(void);
cont_nmi_dump      33 arch/mips/sgi-ip27/ip27-nmi.c 	cont_nmi_dump();