Symbol: CPU_ACPI_PPC
usr/src/uts/i86pc/os/cpupm/cpu_acpi.c
639
ppc = &CPU_ACPI_PPC(handle);
usr/src/uts/i86pc/os/cpupm/cpupm_mach.c
885
plat_level = CPU_ACPI_PPC(handle);