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
acpi.c
acpidump.8
acpidump.c
acpidump.h
Makefile