Symbol: CPU_REV_MAJ
sys/arch/powerpc64/powerpc64/cpu.c
127
printf(": %s %d.%d", name, CPU_REV_MAJ(pvr), CPU_REV_MIN(pvr));
sys/arch/powerpc64/powerpc64/cpu.c
129
name, CPU_REV_MAJ(pvr), CPU_REV_MIN(pvr));