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