Add ACPI and PCI test files from real HW.

.gitignore

@@ -24,3 +24,4 @@ tags
 coverage.*
 covpreproc
 *.skn
+*.dsl

acpi/acpi.inc

@@ -1,14 +0,0 @@
-uglobal
-        sci_int dd ?
-        sci_cmd dw ?
-        acpi_enable db ?
-        acpi_disable db ?
-        PM1a_CNT_BLK dw ?
-        PM1b_CNT_BLK dw ?
-        acpi_ssdt_base dd ?
-        acpi_ssdt_size dd ?
-        acpi_ssdt_cnt dd ?
-endg
-
-enable_acpi:
-ret

test/machines/000/description.txt

@@ -0,0 +1,2 @@
+name: HP Pavilion 15-cw0013ur
+owner: dunkaist

test/machines/000/dmi.log

@@ -0,0 +1,543 @@
+# dmidecode 3.2
+Getting SMBIOS data from sysfs.
+SMBIOS 3.1.1 present.
+Table at 0x9DA75000.
+
+Handle 0x0000, DMI type 0, 26 bytes
+BIOS Information
+	Vendor: AMI
+	Version: F.35
+	Release Date: 09/24/2019
+	Address: 0xF0000
+	Runtime Size: 64 kB
+	ROM Size: 8192 kB
+	Characteristics:
+		PCI is supported
+		BIOS is upgradeable
+		BIOS shadowing is allowed
+		Boot from CD is supported
+		Selectable boot is supported
+		EDD is supported
+		5.25"/1.2 MB floppy services are supported (int 13h)
+		3.5"/720 kB floppy services are supported (int 13h)
+		3.5"/2.88 MB floppy services are supported (int 13h)
+		Print screen service is supported (int 5h)
+		8042 keyboard services are supported (int 9h)
+		Serial services are supported (int 14h)
+		Printer services are supported (int 17h)
+		ACPI is supported
+		USB legacy is supported
+		Smart battery is supported
+		BIOS boot specification is supported
+		Function key-initiated network boot is supported
+		Targeted content distribution is supported
+		UEFI is supported
+	BIOS Revision: 15.35
+	Firmware Revision: 99.22
+
+Handle 0x0001, DMI type 1, 27 bytes
+System Information
+	Manufacturer: HP
+	Product Name: HP Pavilion Laptop 15-cw0xxx
+	Version:  
+	Serial Number: 5CD8440BL8
+	UUID: 38444335-3434-4230-4c38-84a93e12bbb6
+	Wake-up Type: Power Switch
+	SKU Number: 4JV62EA#ACB
+	Family: 103C_5335KV HP Pavilion
+
+Handle 0x0002, DMI type 2, 15 bytes
+Base Board Information
+	Manufacturer: HP
+	Product Name: 84E7
+	Version: 99.22
+	Serial Number: PHLWT048JBG1YL
+	Asset Tag: Base Board Asset Tag
+	Features:
+		Board is a hosting board
+		Board is replaceable
+	Location In Chassis: Base Board Chassis Location
+	Chassis Handle: 0x0003
+	Type: Motherboard
+	Contained Object Handles: 0
+
+Handle 0x0003, DMI type 3, 22 bytes
+Chassis Information
+	Manufacturer: HP
+	Type: Notebook
+	Lock: Not Present
+	Version: Chassis Version
+	Serial Number: Chassis Serial Number
+	Asset Tag: Not Specified
+	Boot-up State: Safe
+	Power Supply State: Safe
+	Thermal State: Safe
+	Security Status: None
+	OEM Information: 0x00000000
+	Height: Unspecified
+	Number Of Power Cords: 1
+	Contained Elements: 0
+	SKU Number: Not Specified
+
+Handle 0x0004, DMI type 11, 5 bytes
+OEM Strings
+	String 1: $HP$
+	String 2: ABS 70/71 79 7A 7B 7C
+	String 3: BCU_Y
+	String 4: FBYTE#3K3Y6E6a7B7K7M7W7d7jawbCbhcbfP.4D;BUILDID#18WW1BOD301#SACB
+	String 5: #DACB;
+	String 6:  
+	String 7:  
+	String 8:  
+	String 9:  
+	String 10:  
+	String 11:  
+	String 12:  
+	String 13:  
+
+Handle 0x0005, DMI type 22, 26 bytes
+Portable Battery
+	Location: Primary
+	Manufacturer: 313-1C-34-A
+	Name: HT03041
+	Design Capacity: 41040 mWh
+	Design Voltage: 11400 mV
+	SBDS Version: 3.1
+	Maximum Error: Unknown
+	SBDS Serial Number: 59A5
+	SBDS Manufacture Date: 2018-08-25
+	SBDS Chemistry: LION
+	OEM-specific Information: 0x000A070C
+
+Handle 0x0006, DMI type 32, 20 bytes
+System Boot Information
+	Status: No errors detected
+
+Handle 0x0007, DMI type 18, 23 bytes
+32-bit Memory Error Information
+	Type: OK
+	Granularity: Unknown
+	Operation: Unknown
+	Vendor Syndrome: Unknown
+	Memory Array Address: Unknown
+	Device Address: Unknown
+	Resolution: Unknown
+
+Handle 0x0008, DMI type 16, 23 bytes
+Physical Memory Array
+	Location: System Board Or Motherboard
+	Use: System Memory
+	Error Correction Type: None
+	Maximum Capacity: 32 GB
+	Error Information Handle: 0x0007
+	Number Of Devices: 2
+
+Handle 0x0009, DMI type 19, 31 bytes
+Memory Array Mapped Address
+	Starting Address: 0x00000000000
+	Ending Address: 0x001FFFFFFFF
+	Range Size: 8 GB
+	Physical Array Handle: 0x0008
+	Partition Width: 2
+
+Handle 0x000A, DMI type 7, 19 bytes
+Cache Information
+	Socket Designation: L1 - Cache
+	Configuration: Enabled, Not Socketed, Level 1
+	Operational Mode: Write Back
+	Location: Internal
+	Installed Size: 384 kB
+	Maximum Size: 384 kB
+	Supported SRAM Types:
+		Pipeline Burst
+	Installed SRAM Type: Pipeline Burst
+	Speed: 1 ns
+	Error Correction Type: Multi-bit ECC
+	System Type: Unified
+	Associativity: 8-way Set-associative
+
+Handle 0x000B, DMI type 7, 19 bytes
+Cache Information
+	Socket Designation: L2 - Cache
+	Configuration: Enabled, Not Socketed, Level 2
+	Operational Mode: Write Back
+	Location: Internal
+	Installed Size: 2048 kB
+	Maximum Size: 2048 kB
+	Supported SRAM Types:
+		Pipeline Burst
+	Installed SRAM Type: Pipeline Burst
+	Speed: 1 ns
+	Error Correction Type: Multi-bit ECC
+	System Type: Unified
+	Associativity: 8-way Set-associative
+
+Handle 0x000C, DMI type 7, 19 bytes
+Cache Information
+	Socket Designation: L3 - Cache
+	Configuration: Enabled, Not Socketed, Level 3
+	Operational Mode: Write Back
+	Location: Internal
+	Installed Size: 4096 kB
+	Maximum Size: 4096 kB
+	Supported SRAM Types:
+		Pipeline Burst
+	Installed SRAM Type: Pipeline Burst
+	Speed: 1 ns
+	Error Correction Type: Multi-bit ECC
+	System Type: Unified
+	Associativity: 16-way Set-associative
+
+Handle 0x000D, DMI type 4, 48 bytes
+Processor Information
+	Socket Designation: FP5
+	Type: Central Processor
+	Family: Zen
+	Manufacturer: Advanced Micro Devices, Inc.
+	ID: 10 0F 81 00 FF FB 8B 17
+	Signature: Family 23, Model 17, Stepping 0
+	Flags:
+		FPU (Floating-point unit on-chip)
+		VME (Virtual mode extension)
+		DE (Debugging extension)
+		PSE (Page size extension)
+		TSC (Time stamp counter)
+		MSR (Model specific registers)
+		PAE (Physical address extension)
+		MCE (Machine check exception)
+		CX8 (CMPXCHG8 instruction supported)
+		APIC (On-chip APIC hardware supported)
+		SEP (Fast system call)
+		MTRR (Memory type range registers)
+		PGE (Page global enable)
+		MCA (Machine check architecture)
+		CMOV (Conditional move instruction supported)
+		PAT (Page attribute table)
+		PSE-36 (36-bit page size extension)
+		CLFSH (CLFLUSH instruction supported)
+		MMX (MMX technology supported)
+		FXSR (FXSAVE and FXSTOR instructions supported)
+		SSE (Streaming SIMD extensions)
+		SSE2 (Streaming SIMD extensions 2)
+		HTT (Multi-threading)
+	Version: AMD Ryzen 5 2500U with Radeon Vega Mobile Gfx  
+	Voltage: 1.2 V
+	External Clock: 100 MHz
+	Max Speed: 3600 MHz
+	Current Speed: 2000 MHz
+	Status: Populated, Enabled
+	Upgrade: None
+	L1 Cache Handle: 0x000A
+	L2 Cache Handle: 0x000B
+	L3 Cache Handle: 0x000C
+	Serial Number: Unknown
+	Asset Tag: Unknown
+	Part Number: Unknown
+	Core Count: 4
+	Core Enabled: 4
+	Thread Count: 8
+	Characteristics:
+		64-bit capable
+		Multi-Core
+		Hardware Thread
+		Execute Protection
+		Enhanced Virtualization
+		Power/Performance Control
+
+Handle 0x000E, DMI type 18, 23 bytes
+32-bit Memory Error Information
+	Type: OK
+	Granularity: Unknown
+	Operation: Unknown
+	Vendor Syndrome: Unknown
+	Memory Array Address: Unknown
+	Device Address: Unknown
+	Resolution: Unknown
+
+Handle 0x000F, DMI type 17, 40 bytes
+Memory Device
+	Array Handle: 0x0008
+	Error Information Handle: 0x000E
+	Total Width: 64 bits
+	Data Width: 64 bits
+	Size: 4096 MB
+	Form Factor: SODIMM
+	Set: None
+	Locator: Bottom - Slot 1 (left)
+	Bank Locator: P0 CHANNEL A
+	Type: DDR4
+	Type Detail: Synchronous Unbuffered (Unregistered)
+	Speed: 2400 MT/s
+	Manufacturer: Samsung
+	Serial Number: 23BCDFDA
+	Asset Tag: Not Specified
+	Part Number: M471A5244BB0-CRC    
+	Rank: 1
+	Configured Memory Speed: 2400 MT/s
+	Minimum Voltage: 1.2 V
+	Maximum Voltage: 1.2 V
+	Configured Voltage: 1.2 V
+
+Handle 0x0010, DMI type 20, 35 bytes
+Memory Device Mapped Address
+	Starting Address: 0x00000000000
+	Ending Address: 0x001FFFFFFFF
+	Range Size: 8 GB
+	Physical Device Handle: 0x000F
+	Memory Array Mapped Address Handle: 0x0009
+	Partition Row Position: 1
+
+Handle 0x0011, DMI type 18, 23 bytes
+32-bit Memory Error Information
+	Type: OK
+	Granularity: Unknown
+	Operation: Unknown
+	Vendor Syndrome: Unknown
+	Memory Array Address: Unknown
+	Device Address: Unknown
+	Resolution: Unknown
+
+Handle 0x0012, DMI type 17, 40 bytes
+Memory Device
+	Array Handle: 0x0008
+	Error Information Handle: 0x0011
+	Total Width: 64 bits
+	Data Width: 64 bits
+	Size: 4096 MB
+	Form Factor: SODIMM
+	Set: None
+	Locator: Bottom - Slot 2 (right)
+	Bank Locator: P0 CHANNEL B
+	Type: DDR4
+	Type Detail: Synchronous Unbuffered (Unregistered)
+	Speed: 2400 MT/s
+	Manufacturer: Samsung
+	Serial Number: 23BCDFAC
+	Asset Tag: Not Specified
+	Part Number: M471A5244BB0-CRC    
+	Rank: 1
+	Configured Memory Speed: 2400 MT/s
+	Minimum Voltage: 1.2 V
+	Maximum Voltage: 1.2 V
+	Configured Voltage: 1.2 V
+
+Handle 0x0013, DMI type 20, 35 bytes
+Memory Device Mapped Address
+	Starting Address: 0x00000000000
+	Ending Address: 0x001FFFFFFFF
+	Range Size: 8 GB
+	Physical Device Handle: 0x0012
+	Memory Array Mapped Address Handle: 0x0009
+	Partition Row Position: 1
+
+Handle 0x0014, DMI type 13, 22 bytes
+BIOS Language Information
+	Language Description Format: Long
+	Installable Languages: 5
+		en|US|iso8859-1
+		fr|FR|iso8859-1
+		es|ES|iso8859-1
+		zh|TW|unicode
+		zh|CN|unicode
+	Currently Installed Language: en|US|iso8859-1
+
+Handle 0x0015, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J2304/J2300
+	Internal Connector Type: None
+	External Reference Designator: Keyboard
+	External Connector Type: PS/2
+	Port Type: Keyboard Port
+
+Handle 0x0016, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J3811
+	Internal Connector Type: None
+	External Reference Designator: Touch pad
+	External Connector Type: PS/2
+	Port Type: Mouse Port
+
+Handle 0x0017, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1504
+	Internal Connector Type: None
+	External Reference Designator: USB 3.0
+	External Connector Type: Access Bus (USB)
+	Port Type: USB
+
+Handle 0x0018, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1500
+	Internal Connector Type: None
+	External Reference Designator: USB 3.1
+	External Connector Type: Access Bus (USB)
+	Port Type: USB
+
+Handle 0x0019, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1502
+	Internal Connector Type: None
+	External Reference Designator: USB 3.1
+	External Connector Type: Access Bus (USB)
+	Port Type: USB
+
+Handle 0x001A, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1501
+	Internal Connector Type: None
+	External Reference Designator: USB 3.1 Type-C
+	External Connector Type: Access Bus (USB)
+	Port Type: USB
+
+Handle 0x001B, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1503
+	Internal Connector Type: None
+	External Reference Designator: USB 3.1 Type-C
+	External Connector Type: Access Bus (USB)
+	Port Type: USB
+
+Handle 0x001C, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1300
+	Internal Connector Type: None
+	External Reference Designator: Network
+	External Connector Type: RJ-45
+	Port Type: Network Port
+
+Handle 0x001D, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1701
+	Internal Connector Type: SAS/SATA Plug Receptacle
+	External Reference Designator: Sata HDD
+	External Connector Type: None
+	Port Type: SATA
+
+Handle 0x001E, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1703
+	Internal Connector Type: SAS/SATA Plug Receptacle
+	External Reference Designator: Sata ODD
+	External Connector Type: None
+	Port Type: SATA
+
+Handle 0x001F, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1101
+	Internal Connector Type: None
+	External Reference Designator: DP0
+	External Connector Type: None
+	Port Type: Video Port
+
+Handle 0x0020, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J1100
+	Internal Connector Type: None
+	External Reference Designator: DP1
+	External Connector Type: None
+	Port Type: Video Port
+
+Handle 0x0021, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J2103
+	Internal Connector Type: None
+	External Reference Designator: Microphone
+	External Connector Type: Mini Jack (headphones)
+	Port Type: Audio Port
+
+Handle 0x0022, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: J2105
+	Internal Connector Type: None
+	External Reference Designator: Headphone
+	External Connector Type: Mini Jack (headphones)
+	Port Type: Audio Port
+
+Handle 0x0023, DMI type 9, 17 bytes
+System Slot Information
+	Designation: J3604
+	Type: x8 PCI Express x8
+	Current Usage: Available
+	Length: Short
+	ID: 1
+	Characteristics:
+		3.3 V is provided
+		PME signal is supported
+		Hot-plug devices are supported
+	Bus Address: 0200:00:01.1
+
+Handle 0x0024, DMI type 41, 11 bytes
+Onboard Device
+	Reference Designation: Onboard LAN Brodcom
+	Type: Ethernet
+	Status: Disabled
+	Type Instance: 1
+	Bus Address: 0000:00:00.3
+
+Handle 0x0025, DMI type 41, 11 bytes
+Onboard Device
+	Reference Designation: HD Audio Controller
+	Type: Sound
+	Status: Enabled
+	Type Instance: 1
+	Bus Address: 0000:03:00.6
+
+Handle 0x0026, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: Left USB 3.1
+	Internal Connector Type: Access Bus (USB)
+	External Reference Designator: Left TYPE C
+	External Connector Type: Access Bus (USB)
+	Port Type: USB
+
+Handle 0x0029, DMI type 41, 11 bytes
+Onboard Device
+	Reference Designation: Onboard IGD
+	Type: Video
+	Status: Enabled
+	Type Instance: 1
+	Bus Address: 0000:03:00.0
+
+Handle 0x002A, DMI type 41, 11 bytes
+Onboard Device
+	Reference Designation: Realtek RTL8822BE 802.11 ac 2x2 WiFi + BT 4.2 Combo Adapter
+	Type: Other
+	Status: Enabled
+	Type Instance: 1
+	Bus Address: 0000:01:00.0
+
+Handle 0x002B, DMI type 41, 11 bytes
+Onboard Device
+	Reference Designation: Realtek PCIe FE Family Controller
+	Type: Ethernet
+	Status: Enabled
+	Type Instance: 1
+	Bus Address: 0000:02:00.0
+
+Handle 0x002C, DMI type 27, 15 bytes
+Cooling Device
+	Type: Fan
+	Status: OK
+	OEM-specific Information: 0x00000000
+	Nominal Speed: Unknown Or Non-rotating
+	Description: Cooling Dev 1
+
+Handle 0x002D, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: Ctrl0Port0
+	Internal Connector Type: SAS/SATA Plug Receptacle
+	External Reference Designator: Primary HDD Bay
+	External Connector Type: SAS/SATA Plug Receptacle
+	Port Type: SATA
+
+Handle 0x002E, DMI type 8, 9 bytes
+Port Connector Information
+	Internal Reference Designator: Ctrl0Port1
+	Internal Connector Type: SAS/SATA Plug Receptacle
+	External Reference Designator: Secondary HDD Bay
+	External Connector Type: SAS/SATA Plug Receptacle
+	Port Type: SATA
+
+Handle 0x002F, DMI type 127, 4 bytes
+End Of Table
+

test/machines/001/description.txt

@@ -0,0 +1,2 @@
+name: Acer Aspire V5-552
+owner: dunkaist