Symbol: pcpuid3
sys/arch/amd64/amd64/identcpu.c
658
pcpuid3(ci, "7.0",
sys/arch/amd64/amd64/identcpu.c
706
pcpuid3(ci, "8000001F",