Access ACPI Configuration Parameter (X8400, X8420, X8440)
Access ACPI Configuration Parameter
Access ACPI Configuration Parameter (X8450)
ACPI Configuration Specification