ACPI_PKG_VALID_EQ
if (ACPI_PKG_VALID_EQ(res, 21)) { /* ACPI 6.0 _BIX */
} else if (ACPI_PKG_VALID_EQ(res, 20)) {/* ACPI 4.0 _BIX */
if (ACPI_PKG_VALID_EQ(res, 13)) /* _BIF */