Searched refs:acpi_PkgInt (Results 1 – 4 of 4) sorted by relevance
| /freebsd/sys/dev/acpica/ |
| H A D | acpi_package.c | 45 acpi_PkgInt(ACPI_OBJECT *res, int idx, UINT64 *dst) in acpi_PkgInt() function
63 error = acpi_PkgInt(res, idx, &tmp); in acpi_PkgInt32()
76 error = acpi_PkgInt(res, idx, &tmp); in acpi_PkgInt16()
|
| H A D | acpivar.h | 561 int acpi_PkgInt(ACPI_OBJECT *res, int idx, UINT64 *dst);
|
| /freebsd/sys/dev/usb/ |
| H A D | usb_hub_acpi.c | 152 acpi_PkgInt(obj, 0, &conn); in acpi_uhub_parse_upc()
153 acpi_PkgInt(obj, 1, &porttypenum); in acpi_uhub_parse_upc()
|
| /freebsd/sys/dev/xen/cpu/ |
| H A D | xen_acpi_cpu.c | 379 acpi_PkgInt(res, j, p); in acpi_fetch_px()
442 acpi_PkgInt(res, i, p); in acpi_fetch_px()
|