Symbol: CPUVENDOR_VORTEX86
sys/arch/x86/x86/identcpu.c
712
if (cpu_vendor != CPUVENDOR_VORTEX86)
sys/arch/x86/x86/identcpu.c
918
cpu_vendor = CPUVENDOR_VORTEX86;