status_t acpi_PkgInt32(acpi_object_type* res, int idx, uint32* dst) { int tmp; status_t status = acpi_PkgInt(res, idx, &tmp); if (status == B_OK) *dst = (uint32) tmp; return status; }
int acpi_PkgInt32(device_t dev, ACPI_OBJECT *res, int idx, uint32_t *dst) { ACPI_INTEGER tmp; int error; error = acpi_PkgInt(dev, res, idx, &tmp); if (error == 0) *dst = (uint32_t)tmp; return (error); }
int acpi_PkgInt32(ACPI_OBJECT *res, int idx, uint32_t *dst) { UINT64 tmp; int error; error = acpi_PkgInt(res, idx, &tmp); if (error == 0) *dst = (uint32_t)tmp; return (error); }