https://bugzilla.kernel.org/show_bug.cgi?id=68291
Ashok Raj <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #22 from Ashok Raj <[email protected]> --- Guess this is a better way instead of panic.. Do you think some debug printk's would benefit? Simply because If this happens it appears this is a bug in ACPI DSL in the platform, or Linux. In this case it appears its a Linux bug? looking at the dsl for GPIO below, the IRQ number is 0x31... why would linux allocate 0x10 instead? Device (GPO0) { Name (_ADR, Zero) // _ADR: Address Name (_HID, "INT33FC") // _HID: Hardware ID Name (_CID, "INT33FC") // _CID: Compatible ID Name (_DDN, "ValleyView General Purpose Input/Output (GPIO) controller") // _DDN: DOS Device Name Name (_UID, One) // _UID: Unique ID Method (_CRS, 0, NotSerialized) // _CRS: Current Resource Settings { Name (RBUF, ResourceTemplate () { Memory32Fixed (ReadWrite, 0xFED0C000, // Address Base 0x00001000, // Address Length ) Interrupt (ResourceConsumer, Level, ActiveLow, Shared, ,, ) { 0x00000031, } }) Return (RBUF) } -- You are receiving this mail because: You are watching the assignee of the bug. ------------------------------------------------------------------------------ Learn Graph Databases - Download FREE O'Reilly Book "Graph Databases" is the definitive new guide to graph databases and their applications. Written by three acclaimed leaders in the field, this first edition is now available. Download your free book today! http://p.sf.net/sfu/13534_NeoTech _______________________________________________ acpi-bugzilla mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/acpi-bugzilla
