acpi_PkgInt16
if (acpi_PkgInt16(res, i++, &sc->bix.rev) != 0) {
int acpi_PkgInt16(ACPI_OBJECT *res, int idx, uint16_t *dst);