bios_smpinfo       95 arch/i386/i386/bios.c void		*bios_smpinfo;
bios_smpinfo      442 arch/i386/i386/bios.c 			bios_smpinfo = q->ba_arg;
bios_smpinfo      443 arch/i386/i386/bios.c 			printf(" smpinfo %p", bios_smpinfo);
bios_smpinfo      227 arch/i386/i386/mainbus.c 	if (bios_smpinfo != NULL) {
bios_smpinfo      228 arch/i386/i386/mainbus.c 		struct mp_float *mp = bios_smpinfo;
bios_smpinfo      257 arch/i386/include/biosvar.h extern void *bios_smpinfo;