CPU_ACPI_PSD
psd = &CPU_ACPI_PSD(handle);
domain = CPU_ACPI_PSD(handle).sd_domain;
type = CPU_ACPI_PSD(handle).sd_type;