Symbol: CPU_ACPI_TSD
usr/src/uts/i86pc/os/cpupm/cpu_acpi.c
330
tsd = &CPU_ACPI_TSD(handle);
usr/src/uts/i86pc/os/cpupm/cpupm_mach.c
456
domain = CPU_ACPI_TSD(handle).sd_domain;
usr/src/uts/i86pc/os/cpupm/cpupm_mach.c
457
type = CPU_ACPI_TSD(handle).sd_type;