Make this compile on 64 bit systems again. You cannot just cast a 32 bit

int to a 64 bit pointer.  This file is already off the vendor branch.
This commit is contained in:
Peter Wemm 2003-07-28 10:25:26 +00:00
parent 1c1d85facf
commit 3718a191eb

View File

@ -1292,7 +1292,7 @@ AcpiDbGenerateGpe (
BlockNumber = ACPI_STRTOUL (BlockArg, NULL, 0);
GpeEventInfo = AcpiEvGetGpeEventInfo ((void *) BlockNumber, GpeNumber);
GpeEventInfo = AcpiEvGetGpeEventInfo ((void *)(uintptr_t) BlockNumber, GpeNumber);
if (!GpeEventInfo)
{
AcpiOsPrintf ("Invalid GPE\n");