use uintmax_t instead of uint64_t.

Pointed out by: des.
This commit is contained in:
Takanori Watanabe 2010-08-13 09:58:17 +00:00
parent 225edeac51
commit 977fd9da57
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=211278

View File

@ -622,7 +622,7 @@ acpi_handle_tcpa(ACPI_TABLE_HEADER *sdp)
{
struct TCPAbody *tcpa;
struct TCPAevent *event;
uint64_t len, paddr;
uintmax_t len, paddr;
unsigned char *vaddr = NULL;
unsigned char *vend = NULL;