<dec f='src/src/sys/external/bsd/acpica/dist/include/acdisasm.h' l='591' type='UINT32 AcpiDmDumpS3pt(ACPI_TABLE_HEADER * Table)'/>
