It should be UINT64*. I am fixing acpiosxf.h for the next ACPICA release.
Thanks,
Bob
-----Original Message-----
From: Lin, Ming M
Sent: Thursday, July 15, 2010 11:37 PM
To: Rüdiger Ihle; Jung-uk Kim; Moore, Robert
Cc: devel(a)acpica.org
Subject: Re: [Devel] AcpiOsReadPciConfiguration
On Fri, 2010-07-16 at 13:47 +0800, Rüdiger Ihle wrote:
> Hi all,
>
>
> what's the correct prototype for AcpiOsReadPciConfiguration ?
>
> The acpica-reference.pdf says:
>
> AcpiOsReadPciConfiguration (
> ACPI_PCI_ID *PciId,
> UINT32 Reg,
> UINT64 *Value,
> UINT32 Width);
>
>
> while acpiosxf.h states:
>
>
> AcpiOsReadPciConfiguration (
> ACPI_PCI_ID *PciId,
> UINT32 Reg,
> void *Value,
> UINT32 Width);
We may fix it with UINT64* or UINT32*.