Symbol: CPU_ACPI_PSD
usr/src/uts/i86pc/os/cpupm/cpu_acpi.c
311
psd = &CPU_ACPI_PSD(handle);
usr/src/uts/i86pc/os/cpupm/cpupm_mach.c
439
domain = CPU_ACPI_PSD(handle).sd_domain;
usr/src/uts/i86pc/os/cpupm/cpupm_mach.c
440
type = CPU_ACPI_PSD(handle).sd_type;