Symbol: npx586bug1
sys/arch/x86/include/cpu.h
461
int npx586bug1(int, int);
sys/arch/x86/x86/identcpu.c
751
if (npx586bug1(4195835, 3145727) != 0)