takawata 24668d20b3 use uintmax_t instead of uint64_t. ... Pointed out by: des.		2010-08-13 09:58:17 +00:00
..
acpi_user.c
acpi.c	use uintmax_t instead of uint64_t.	2010-08-13 09:58:17 +00:00
acpidump.8
acpidump.c
acpidump.h	Add TCG ACPI spec table (TCPA) support.	2010-08-11 23:21:25 +00:00
Makefile