philip 985b7bf736 Two uint32_t casts crept in where they shouldn't have. ...

ACPI_TYPE_INTEGER can be 64 bits wide in acpi v2.

2004-11-13 01:49:22 +00:00

..

acpidb.8

…

acpidb.c

Two uint32_t casts crept in where they shouldn't have.

2004-11-13 01:49:22 +00:00

Makefile

…