Symbol: acpi_PkgInt
sys/dev/acpica/acpi_package.c
62
error = acpi_PkgInt(res, idx, &tmp);
sys/dev/acpica/acpivar.h
496
int acpi_PkgInt(ACPI_OBJECT *res, int idx, UINT64 *dst);