ACPICPU_FLAG_PIIX4
val |= ACPICPU_FLAG_PIIX4;
if ((sc->sc_flags & ACPICPU_FLAG_PIIX4) != 0) {
if ((sc->sc_flags & ACPICPU_FLAG_PIIX4) != 0)