The following ACPI debugging extensions complain about incorrect
symbols on x64 Windows 2003 systems:
!facs
!fadt
!mapic
!rsdt
They complain about hal!_DESCRIPTION_HEADER and hal!_FACS.
It seems that the public symbols don’t have information about these types.
Dmitriy Budko VMware