acpi_pst_domain_alloc
acpi_pst_domain_alloc(uint32_t, uint32_t, uint32_t);
dom = acpi_pst_domain_alloc(acpi_pst_domain_id,
dom = acpi_pst_domain_alloc(domain, coord, nproc);
dom = acpi_pst_domain_alloc(domain, ACPI_PSD_COORD_SWALL, 1);