On Tue, Oct 10, 2017 at 02:37:00AM -0300, Henrique de Moraes Holschuh wrote:
> Please boot with fan_control=1 debug=0x8011
sorry, Henrique, for the late reply (and thank you for your patient guidance!).
Attached is
> dmesg |egrep 'thinkpad|ACPI|acpi|fan|cool'
(with acpi_cpufreq debug on)
Part of thinkpad_acpi init debug messages are:
> [ 19.416358] thinkpad_acpi: ibm_init: probing for fan
> [ 19.417572] thinkpad_acpi: ibm_init: fan installed
and when I try to set fan to enable/7:
> [ 1130.951198] thinkpad_acpi: procfs fan: PID 7250: set level to 7
> [ 1135.041563] thinkpad_acpi: procfs fan: PID 7250: enable
but ... the "fan" module is not loaded (and fan does not start)
I mounted debugfs/booted using various variations of:
> acpi.dyndbg="+p; file ec.c -p"
> fan.dyndbg=+p
> acpi_cpufreq.dyndbg=+p
> acpi.debug_layer=0x04200002
> acpi.debug_level=0x02000027
... got a lot of noise that I tried to filter, but still no hope so far.
[ 0.000000] Command line: BOOT_IMAGE=/vmlinuz-4.12.0-1-amd64 root=/dev/mapper/deb--vg-root ro "acpi.dyndbg=+p; file ec.c -p" fan.dyndbg=+p acpi_cpufreq.dyndbg=+p acpi.debug_layer=0x04200002 acpi.debug_level=0x00000027
[ 0.000000] BIOS-e820: [mem 0x00000000be33a000-0x00000000be459fff] ACPI NVS
[ 0.000000] BIOS-e820: [mem 0x00000000be45a000-0x00000000be4d9fff] ACPI data
[ 0.000000] ACPI: Early table checksum verification disabled
[ 0.000000] ACPI: RSDP 0x00000000000F0120 000024 (v02 LENOVO)
[ 0.000000] ACPI: XSDT 0x00000000BE4D9200 0000A4 (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: FACP 0x00000000BE4D7000 00010C (v05 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: DSDT 0x00000000BE4C6000 00C5AF (v01 LENOVO TP-HT 00001230 INTL 20110316)
[ 0.000000] ACPI: FACS 0x00000000BE40F000 000040
[ 0.000000] ACPI: HPET 0x00000000BE4D6000 000038 (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: APIC 0x00000000BE4D5000 000090 (v02 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: MCFG 0x00000000BE4D4000 00003C (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: SBST 0x00000000BE4D3000 000030 (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: SLIC 0x00000000BE4C5000 000176 (v01 LENOVO TP-HT 00001230 PTEC 00000001)
[ 0.000000] ACPI: FPDT 0x00000000BE4C4000 000044 (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: UEFI 0x00000000BE4C3000 000042 (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: MSDM 0x00000000BE40B000 000055 (v03 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: BATB 0x00000000BE4C2000 000046 (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: SSDT 0x00000000BE4C1000 000B9C (v01 AMD BALLINA 00000001 AMD 00000001)
[ 0.000000] ACPI: SSDT 0x00000000BE4B7000 009AC7 (v02 AMD BALLINA 00000002 MSFT 04000000)
[ 0.000000] ACPI: UEFI 0x00000000BE4B6000 0002BA (v01 LENOVO TP-HT 00001230 PTEC 00000002)
[ 0.000000] ACPI: SSDT 0x00000000BE4B4000 0013F5 (v01 AMD CPMDFIGP 00000001 INTL 20110316)
[ 0.000000] ACPI: SSDT 0x00000000BE4B2000 00114F (v01 AMD CPMCMN 00000001 INTL 20110316)
[ 0.000000] ACPI: SSDT 0x00000000BE4B1000 000FB4 (v01 AMD CPMZPODD 00000001 INTL 20110316)
[ 0.000000] ACPI: Local APIC address 0xfee00000
[ 0.000000] ACPI: PM-Timer IO Port: 0x808
[ 0.000000] ACPI: Local APIC address 0xfee00000
[ 0.000000] ACPI: LAPIC_NMI (acpi_id[0x00] high edge lint[0x1])
[ 0.000000] ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
[ 0.000000] ACPI: LAPIC_NMI (acpi_id[0x02] high edge lint[0x1])
[ 0.000000] ACPI: LAPIC_NMI (acpi_id[0x03] high edge lint[0x1])
[ 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 low level)
[ 0.000000] ACPI: IRQ0 used by override.
[ 0.000000] ACPI: IRQ9 used by override.
[ 0.000000] Using ACPI (MADT) for SMP configuration information
[ 0.000000] ACPI: HPET id: 0x43538210 base: 0xfed00000
[ 0.000000] Kernel command line: BOOT_IMAGE=/vmlinuz-4.12.0-1-amd64 root=/dev/mapper/deb--vg-root ro "acpi.dyndbg=+p; file ec.c -p" fan.dyndbg=+p acpi_cpufreq.dyndbg=+p acpi.debug_layer=0x04200002 acpi.debug_level=0x00000027
[ 0.000000] RCU: Adjusting geometry for rcu_fanout_leaf=16, nr_cpu_ids=4
[ 0.004000] ACPI: Core revision 20170303
[ 0.021463] ACPI: 6 ACPI AML tables successfully acquired and loaded
[ 0.316033] PM: Registering ACPI NVS region [mem 0xbe33a000-0xbe459fff] (1179648 bytes)
[ 0.317008] ACPI: bus type PCI registered
[ 0.317008] acpiphp: ACPI Hot Plug PCI Controller Driver version: 0.5
[ 0.321148] ACPI: Added _OSI(Module Device)
[ 0.321148] ACPI: Added _OSI(Processor Device)
[ 0.321148] ACPI: Added _OSI(3.0 _SCP Extensions)
[ 0.321148] ACPI: Added _OSI(Processor Aggregator Device)
[ 0.330210] ACPI: [Firmware Bug]: BIOS _OSI(Linux) query ignored
[ 0.341007] ACPI : EC: EC started
[ 0.341115] ACPI : EC: interrupt blocked
[ 0.341323] ACPI: \_SB_.PCI0.LPC0.EC0_: Used as first EC
[ 0.341401] ACPI: \_SB_.PCI0.LPC0.EC0_: GPE=0x3, EC_CMD/EC_SC=0x66, EC_DATA=0x62
[ 0.341454] ACPI: \_SB_.PCI0.LPC0.EC0_: Used as boot DSDT EC to handle transactions
[ 0.341506] ACPI: Interpreter enabled
[ 0.341575] ACPI: (supports S0 S3 S4 S5)
[ 0.341623] ACPI: Using IOAPIC for interrupt routing
[ 0.342244] PCI: MMCONFIG at [mem 0xf8000000-0xfbffffff] reserved in ACPI motherboard resources
[ 0.342338] PCI: Using host bridge windows from ACPI; if necessary, use "pci=nocrs" and report a bug
[ 0.353287] ACPI: Power Resource [PUBS] (off)
[ 0.359417] acpi PNP0C0C:00: created platform device PNP0C0C:00
[ 0.359643] ACPI: PCI Root Bridge [PCI0] (domain 0000 [bus 00-ff])
[ 0.359757] acpi PNP0A08:00: _OSC: OS supports [ExtendedConfig ASPM ClockPM Segments MSI]
[ 0.360128] acpi PNP0A08:00: _OSC: OS now controls [PCIeHotplug PME AER PCIeCapability]
[ 0.360228] acpi PNP0A08:00: [Firmware Info]: MMCONFIG for domain 0000 [bus 00-3f] only partially covers this bridge
[ 0.360549] acpi PNP0A08:00: ignoring host bridge window [mem 0x000cc000-0x000cffff window] (conflicts with Video ROM [mem 0x000c0000-0x000cf5ff])
[ 0.364998] pci 0000:00:03.1: System wakeup disabled by ACPI
[ 0.365228] pci 0000:00:03.2: System wakeup disabled by ACPI
[ 0.365431] pci 0000:00:03.3: System wakeup disabled by ACPI
[ 0.365918] pci 0000:00:10.0: System wakeup disabled by ACPI
[ 0.366231] pci 0000:00:10.1: System wakeup disabled by ACPI
[ 0.366653] pci 0000:00:12.0: System wakeup disabled by ACPI
[ 0.366917] pci 0000:00:12.2: System wakeup disabled by ACPI
[ 0.367145] pci 0000:00:13.0: System wakeup disabled by ACPI
[ 0.367372] pci 0000:00:13.2: System wakeup disabled by ACPI
[ 0.368084] pci 0000:00:14.4: System wakeup disabled by ACPI
[ 0.368322] pci 0000:00:14.5: System wakeup disabled by ACPI
[ 0.405678] ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.405802] ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.405923] ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.406044] ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.406148] ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.406246] ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.406339] ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.406433] ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 7 10 11 12 14 15) *0
[ 0.406572] acpi PNP0C04:00: created platform device PNP0C04:00
[ 0.406617] acpi PNP0800:00: created platform device PNP0800:00
[ 0.406695] acpi PNP0C09:00: created platform device PNP0C09:00
[ 0.408818] acpi PNP0C0A:00: created platform device PNP0C0A:00
[ 0.408867] acpi ACPI0003:00: created platform device ACPI0003:00
[ 0.408915] acpi LEN0068:00: created platform device LEN0068:00
[ 0.409007] ACPI: IRQ 7 override to edge, high
[ 0.409112] acpi SMB0001:00: created platform device SMB0001:00
[ 0.409149] acpi PNP0C0D:00: created platform device PNP0C0D:00
[ 0.409176] acpi PNP0C14:00: created platform device PNP0C14:00
[ 0.409203] acpi PNP0C14:01: created platform device PNP0C14:01
[ 0.409333] ACPI: Enabled 2 GPEs in block 00 to 1F
[ 0.409580] ACPI : EC: interrupt unblocked
[ 0.409699] ACPI : EC: event unblocked
[ 0.409752] ACPI: \_SB_.PCI0.LPC0.EC0_: GPE=0x3, EC_CMD/EC_SC=0x66, EC_DATA=0x62
[ 0.409807] ACPI: \_SB_.PCI0.LPC0.EC0_: Used as boot DSDT EC to handle transactions and events
[ 0.409963] PCI: Using ACPI for IRQ routing
[ 0.428932] pnp: PnP ACPI init
[ 0.429472] system 00:00: Plug and Play ACPI device, IDs PNP0c02 (active)
[ 0.431130] pnp 00:01: Plug and Play ACPI device, IDs PNP0b00 (active)
[ 0.431158] pnp 00:02: Plug and Play ACPI device, IDs PTL0001 PNP0303 (active)
[ 0.432105] system 00:03: Plug and Play ACPI device, IDs PNP0c02 (active)
[ 0.432157] ACPI: invalid or unassigned resource mem [0000000000000000 - ffffffffffffffff] length [0000000000000000]
[ 0.432504] system 00:04: Plug and Play ACPI device, IDs PNP0c01 (active)
[ 0.434862] pnp 00:05: Plug and Play ACPI device, IDs LEN2007 PNP0f13 (active)
[ 0.435078] pnp: PnP ACPI: found 6 devices
[ 0.442818] clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns
[ 1.912339] ACPI: Power Button [PWRB]
[ 1.913304] ACPI: Video Device [VGA] (multi-head: yes rom: no post: no)
[ 1.914567] acpi device:00: registered as cooling_device4
[ 1.919017] ACPI: Lid Switch [LID]
[ 1.919228] ACPI: Power Button [PWRF]
[ 1.946223] ACPI: bus type USB registered
[ 1.993078] ACPI Warning: SystemIO range 0x0000000000000B00-0x0000000000000B08 conflicts with OpRegion 0x0000000000000B00-0x0000000000000B0F (\_SB.PCI0.SMB.SMB0) (20170303/utaddress-247)
[ 1.993149] ACPI: If an ACPI driver is available for this device, you should use it instead of the native driver
[ 2.002258] [drm] Internal thermal controller without fan control
[ 3.826333] ACPI: \_SB_.PCI0.VGA_: Error attaching device data
[ 3.826372] ACPI: \_SB_.PCI0.VGA_: Error attaching device data
[ 3.826412] ACPI: \_SB_.PCI0.VGA_: Error attaching device data
[ 3.826451] ACPI: \_SB_.PCI0.VGA_: Error attaching device data
[ 3.826489] ACPI: \_SB_.PCI0.VGA_: Error attaching device data
[ 19.243972] acpi_cpufreq: acpi_cpufreq_init
[ 19.243974] acpi_cpufreq: acpi_cpufreq_early_init
[ 19.244201] acpi_cpufreq: acpi_cpufreq_cpu_init
[ 19.244273] acpi_cpufreq: overriding BIOS provided _PSD data
[ 19.246392] acpi_cpufreq: HARDWARE addr space
[ 19.246396] acpi_cpufreq: CPU0 - ACPI performance management activated.
[ 19.246399] acpi_cpufreq: *P0: 1800 MHz, 5156 mW, 4 uS
[ 19.246401] acpi_cpufreq: P1: 1600 MHz, 4171 mW, 4 uS
[ 19.246403] acpi_cpufreq: P2: 1400 MHz, 3098 mW, 4 uS
[ 19.246405] acpi_cpufreq: P3: 1200 MHz, 2520 mW, 4 uS
[ 19.246407] acpi_cpufreq: P4: 1100 MHz, 2058 mW, 4 uS
[ 19.246413] acpi_cpufreq: get_cur_freq_on_cpu (0)
[ 19.246418] acpi_cpufreq: get_cur_val = 0
[ 19.246420] acpi_cpufreq: cur freq = 1800000
[ 19.246514] acpi_cpufreq: get_cur_freq_on_cpu (0)
[ 19.246517] acpi_cpufreq: get_cur_val = 0
[ 19.246519] acpi_cpufreq: cur freq = 1800000
[ 19.246539] acpi_cpufreq: acpi_cpufreq_cpu_init
[ 19.246588] acpi_cpufreq: HARDWARE addr space
[ 19.246591] acpi_cpufreq: CPU1 - ACPI performance management activated.
[ 19.246593] acpi_cpufreq: *P0: 1800 MHz, 5156 mW, 4 uS
[ 19.246595] acpi_cpufreq: P1: 1600 MHz, 4171 mW, 4 uS
[ 19.246597] acpi_cpufreq: P2: 1400 MHz, 3098 mW, 4 uS
[ 19.246599] acpi_cpufreq: P3: 1200 MHz, 2520 mW, 4 uS
[ 19.246601] acpi_cpufreq: P4: 1100 MHz, 2058 mW, 4 uS
[ 19.246605] acpi_cpufreq: get_cur_freq_on_cpu (1)
[ 19.246607] acpi_cpufreq: get_cur_val = 0
[ 19.246609] acpi_cpufreq: cur freq = 1800000
[ 19.246623] acpi_cpufreq: get_cur_freq_on_cpu (1)
[ 19.246624] acpi_cpufreq: get_cur_val = 0
[ 19.246625] acpi_cpufreq: cur freq = 1800000
[ 19.246676] acpi_cpufreq: acpi_cpufreq_cpu_init
[ 19.246724] acpi_cpufreq: HARDWARE addr space
[ 19.246726] acpi_cpufreq: CPU2 - ACPI performance management activated.
[ 19.246729] acpi_cpufreq: *P0: 1800 MHz, 5156 mW, 4 uS
[ 19.246731] acpi_cpufreq: P1: 1600 MHz, 4171 mW, 4 uS
[ 19.246733] acpi_cpufreq: P2: 1400 MHz, 3098 mW, 4 uS
[ 19.246735] acpi_cpufreq: P3: 1200 MHz, 2520 mW, 4 uS
[ 19.246736] acpi_cpufreq: P4: 1100 MHz, 2058 mW, 4 uS
[ 19.246741] acpi_cpufreq: get_cur_freq_on_cpu (2)
[ 19.246862] acpi_cpufreq: get_cur_val = 0
[ 19.246864] acpi_cpufreq: cur freq = 1800000
[ 19.246877] acpi_cpufreq: get_cur_freq_on_cpu (2)
[ 19.246886] acpi_cpufreq: get_cur_val = 0
[ 19.246887] acpi_cpufreq: cur freq = 1800000
[ 19.246905] acpi_cpufreq: acpi_cpufreq_cpu_init
[ 19.246949] acpi_cpufreq: HARDWARE addr space
[ 19.246951] acpi_cpufreq: CPU3 - ACPI performance management activated.
[ 19.246953] acpi_cpufreq: *P0: 1800 MHz, 5156 mW, 4 uS
[ 19.246955] acpi_cpufreq: P1: 1600 MHz, 4171 mW, 4 uS
[ 19.246957] acpi_cpufreq: P2: 1400 MHz, 3098 mW, 4 uS
[ 19.246958] acpi_cpufreq: P3: 1200 MHz, 2520 mW, 4 uS
[ 19.246960] acpi_cpufreq: P4: 1100 MHz, 2058 mW, 4 uS
[ 19.246964] acpi_cpufreq: get_cur_freq_on_cpu (3)
[ 19.247005] acpi_cpufreq: get_cur_val = 0
[ 19.247006] acpi_cpufreq: cur freq = 1800000
[ 19.247022] acpi_cpufreq: get_cur_freq_on_cpu (3)
[ 19.247030] acpi_cpufreq: get_cur_val = 0
[ 19.247031] acpi_cpufreq: cur freq = 1800000
[ 19.669521] ACPI: Battery Slot [BAT0] (battery present)
[ 19.681431] ACPI: AC Adapter [AC] (on-line)
[ 19.974415] thinkpad_acpi: tpacpi_acpi_handle_locate: Found ACPI handle for ec
[ 19.974418] thinkpad_acpi: ThinkPad ACPI Extras v0.25
[ 19.976745] thinkpad_acpi: http://ibm-acpi.sf.net/
[ 19.979064] thinkpad_acpi: ThinkPad BIOS HTET51WW (1.23 ), EC unknown
[ 19.981449] thinkpad_acpi: Lenovo ThinkPad E555, model 20DH000TUK
[ 19.984509] thinkpad_hwmon thinkpad_hwmon: hwmon_device_register() is deprecated. Please convert the driver to use hwmon_device_register_with_info().
[ 19.987387] thinkpad_acpi: tpacpi_acpi_handle_locate: Found ACPI handle for video
[ 19.987482] thinkpad_acpi: detected 16 brightness levels
[ 19.987484] thinkpad_acpi: ibm_init: probing for driver
[ 19.987486] thinkpad_acpi: ibm_init: driver installed
[ 19.987492] thinkpad_acpi: ibm_init: probing for hotkey
[ 19.987508] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle HKEY for hkey
[ 19.987585] thinkpad_acpi: hotkey_init: using keymap number 1
[ 19.987591] thinkpad_acpi: This ThinkPad has standard ACPI backlight brightness control, supported by the ACPI video driver
[ 19.989915] thinkpad_acpi: Disabling thinkpad-acpi brightness events by default...
[ 19.992085] thinkpad_acpi: hotkey_init: enabling firmware HKEY event interface...
[ 19.993580] thinkpad_acpi: register_tpacpi_subdriver: registering hotkey as an ACPI driver
[ 19.993703] thinkpad_acpi: ibm_init: hotkey installed
[ 19.993706] thinkpad_acpi: ibm_init: probing for bluetooth
[ 19.993731] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle HKEY for hkey
[ 19.999544] thinkpad_acpi: rfkill switch tpacpi_bluetooth_sw: radio is unblocked
[ 20.001794] thinkpad_acpi: ibm_init: bluetooth installed
[ 20.001797] thinkpad_acpi: ibm_init: probing for wan
[ 20.001809] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle HKEY for hkey
[ 20.002383] thinkpad_acpi: wan_init: wan hardware not installed
[ 20.002385] thinkpad_acpi: ibm_init: probing for video
[ 20.002402] thinkpad_acpi: ibm_init: probing for kbdlight
[ 20.002411] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle HKEY for hkey
[ 20.008858] thinkpad_acpi: ibm_init: probing for light
[ 20.008864] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle \UCMS for cmos
[ 20.009997] thinkpad_acpi: ibm_init: light installed
[ 20.010000] thinkpad_acpi: ibm_init: probing for cmos
[ 20.010006] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle \UCMS for cmos
[ 20.010009] thinkpad_acpi: ibm_init: cmos installed
[ 20.010011] thinkpad_acpi: ibm_init: probing for led
[ 20.010118] thinkpad_acpi: ibm_init: led installed
[ 20.010120] thinkpad_acpi: ibm_init: probing for beep
[ 20.010125] thinkpad_acpi: drv_acpi_handle_init: Found ACPI handle BEEP for beep
[ 20.010126] thinkpad_acpi: ibm_init: beep installed
[ 20.010128] thinkpad_acpi: ibm_init: probing for thermal
[ 20.010135] thinkpad_acpi: ibm_init: probing for brightness
[ 20.010138] thinkpad_acpi: Standard ACPI backlight interface available, not loading native one
[ 20.012342] thinkpad_acpi: ibm_init: probing for volume
[ 20.012345] thinkpad_acpi: volume_init: driver auto-selected volume_mode=3
[ 20.014797] thinkpad_acpi: volume_set_software_mute: Initial HAUM setting was 3
[ 20.018410] thinkpad_acpi: ibm_init: volume installed
[ 20.018416] thinkpad_acpi: ibm_init: probing for fan
[ 20.019519] thinkpad_acpi: ibm_init: fan installed
[ 20.019521] thinkpad_acpi: ibm_init: probing for mute_led
[ 20.032142] thinkpad_acpi: ibm_init: mute_led installed
[ 20.032242] input: ThinkPad Extra Buttons as /devices/platform/thinkpad_acpi/input/input8
[ 46.483835] input: ACPI Virtual Keyboard Device as /devices/virtual/input/input15
[ 149.555174] thinkpad_acpi: procfs fan: PID 4635: enable
[ 165.195853] thinkpad_acpi: procfs fan: PID 4635: set level to 64
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
ibm-acpi-devel mailing list
ibm-acpi-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.sourceforge.net/lists/listinfo/ibm-acpi-devel
