ACPI_PSD_COORD_SWALL
if (dom->pd_coord == ACPI_PSD_COORD_SWALL) {
((coord) == ACPI_PSD_COORD_SWALL || \
if (coord == ACPI_PSD_COORD_SWALL) {
KKASSERT(dom->pd_coord == ACPI_PSD_COORD_SWALL);
dom = acpi_pst_domain_alloc(domain, ACPI_PSD_COORD_SWALL, 1);