stand/pbsdboot/main.c

96 	unsigned long platid_cpu, platid_machine;
533 		fb_settings[0].platid_machine = pref.platid_machine;
546 		pref.platid_machine = fb_settings[0].platid_machine;
823 	bi->platid_machine = fbs->platid_machine;
869 		wsprintf(tmpbuf, TEXT("%08X"), fbs->platid_machine);
889 		fbs->platid_machine = _tcstoul(tmpbuf, NULL, 16);
899 			     fbs->platid_machine);
1181 		pref.platid_machine	= fb_settings[0].platid_machine;
1208 		platid.dw.dw1 = bi.platid_machine;