vdr@vdr:~$ dmesg|grep -i ACPI
[ 0.000000] BIOS-e820: 000000003fee0000 - 000000003fee3000 (ACPI NVS)
[ 0.000000] BIOS-e820: 000000003fee3000 - 000000003fef0000 (ACPI data)
[ 0.000000] ACPI: RSDP (v000 IntelR ) @ 0x000f9190
[ 0.000000] ACPI: RSDT (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x3fee3040
[ 0.000000] ACPI: FADT (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x3fee30c0
[ 0.000000] ACPI: MCFG (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x3fee7480
[ 0.000000] ACPI: MADT (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x3fee73c0
[ 0.000000] ACPI: DSDT (v001 INTELR AWRDACPI 0x00001000 MSFT 0x0100000e) @ 0x00000000
[ 0.000000] ACPI: PM-Timer IO Port: 0x408
[ 0.000000] ACPI: Local APIC address 0xfee00000
[ 0.000000] ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
[ 0.000000] ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
[ 0.000000] ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
[ 0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
[ 0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
[ 0.000000] ACPI: IRQ0 used by override.
[ 0.000000] ACPI: IRQ2 used by override.
[ 0.000000] ACPI: IRQ9 used by override.
[ 0.000000] Using ACPI (MADT) for SMP configuration information
[ 15.278227] ACPI: Core revision 20060707
[ 15.284011] ACPI: Looking for DSDT in initramfs... file /DSDT.aml not found, using machine DSDT.
[ 15.400152] ACPI: bus type pci registered
[ 15.443170] ACPI: Interpreter enabled
[ 15.443215] ACPI: Using IOAPIC for interrupt routing
[ 15.443669] ACPI: PCI Root Bridge [PCI0] (0000:00)
[ 15.444286] PCI quirk: region 0400-047f claimed by ICH6 ACPI/GPIO/TCO
[ 15.445138] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
[ 15.455990] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEX0._PRT]
[ 15.456172] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEX1._PRT]
[ 15.456563] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.HUB0._PRT]
[ 15.459702] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 7 9 *10 11 12 14 15)
[ 15.460300] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 *5 7 9 10 11 12 14 15)
[ 15.460904] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 7 9 *10 11 12 14 15)
[ 15.461499] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 7 9 10 *11 12 14 15)
[ 15.462095] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 7 9 10 11 12 14 15) *0, disabled.
[ 15.462773] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 7 *9 10 11 12 14 15)
[ 15.463362] ACPI: PCI Interrupt Link [LNK0] (IRQs 3 4 5 7 9 10 11 12 14 15) *0, disabled.
[ 15.464033] ACPI: PCI Interrupt Link [LNK1] (IRQs 3 4 5 7 9 10 *11 12 14 15)
[ 15.464663] pnp: PnP ACPI init
[ 15.467845] pnp: PnP ACPI: found 16 devices
[ 15.467893] PnPBIOS: Disabled by ACPI PNP
[ 15.467972] PCI: Using ACPI for IRQ routing
[ 15.495065] ACPI: PCI Interrupt 0000:00:01.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 15.495168] ACPI: PCI Interrupt 0000:00:1c.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 15.495273] ACPI: PCI Interrupt 0000:00:1c.1[B] -> GSI 17 (level, low) -> IRQ 17
[ 16.436620] ACPI: (supports S0 S3 S4 S5)
[ 16.569948] ACPI: Fan [FAN] (on)
[ 16.572798] ACPI: Processor [CPU0] (supports 2 throttling states)
[ 16.573925] ACPI: Thermal Zone [THRM] (40 C)
[ 16.891095] ACPI: PCI Interrupt 0000:00:1d.0[A] -> GSI 23 (level, low) -> IRQ 18
[ 16.993715] ACPI: PCI Interrupt 0000:00:1d.1[B] -> GSI 19 (level, low) -> IRQ 19
[ 17.095618] ACPI: PCI Interrupt 0000:00:1d.2[C] -> GSI 18 (level, low) -> IRQ 20
[ 17.197543] ACPI: PCI Interrupt 0000:00:1d.3[D] -> GSI 16 (level, low) -> IRQ 16
[ 17.300536] ACPI: PCI Interrupt 0000:00:1d.7[A] -> GSI 23 (level, low) -> IRQ 18
[ 17.415505] ACPI: PCI Interrupt 0000:04:09.0[A] -> GSI 21 (level, low) -> IRQ 21
[ 17.486592] ACPI: PCI Interrupt 0000:00:1f.1[A] -> GSI 18 (level, low) -> IRQ 20
[ 18.119727] ACPI: PCI Interrupt 0000:00:1f.2[B] -> GSI 19 (level, low) -> IRQ 19
[ 26.848846] ACPI: PCI Interrupt 0000:02:00.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 26.849194] ACPI: PCI Interrupt 0000:03:00.0[A] -> GSI 17 (level, low) -> IRQ 17
[ 27.387355] ACPI: PCI Interrupt 0000:01:00.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 27.613340] ACPI: PCI Interrupt 0000:00:1b.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 28.192607] ACPI: PCI Interrupt 0000:04:01.0[A] -> GSI 17 (level, low) -> IRQ 17
[ 28.901392] ACPI: PCI Interrupt 0000:04:00.0[A] -> GSI 16 (level, low) -> IRQ 16
[ 29.243318] ACPI: PCI Interrupt 0000:00:1f.3[B] -> GSI 19 (level, low) -> IRQ 19
[ 31.612504] ibm_acpi: ec object not found
[ 31.673571] ACPI: Power Button (FF) [PWRF]
[ 31.714051] ACPI: Power Button (CM) [PWRB]
[ 31.819530] pcc_acpi: loading...
[ 28.746000] Time: acpi_pm clocksource has been installed.