Philip Paeps 9599d206a4 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