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	Tidy up markup.	2004-06-06 17:49:57 +00:00
acpidb.c	Two uint32_t casts crept in where they shouldn't have.	2004-11-13 01:49:22 +00:00
Makefile	Change some formats and add some casts to make this	2004-11-13 01:34:51 +00:00