ACPI_PSTDOM_FLAG_INT
if (dom->pd_flags & ACPI_PSTDOM_FLAG_INT) {
if ((dom->pd_flags & ACPI_PSTDOM_FLAG_INT) == 0) {
dom->pd_flags |= ACPI_PSTDOM_FLAG_INT;