Takanori Watanabe 977fd9da57 use uintmax_t instead of uint64_t. ... Pointed out by: des.		2010-08-13 09:58:17 +00:00
..
acpi_user.c	Merge ACPICA 20100702.	2010-07-06 20:57:28 +00:00
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