Hello.
Thomas Bogendoerfer wrote:
I'm just not seeing how using insert_resource() vs request_resource()
for i8259 ports can be relevant here.
request_resource will fail, because the range is already taken by
sni_io_resource, while insert_region inserts the resource into
sni_io_resource.
No, it shouldn't according to what I'm seeing in the code. Perhaps I'm
missing something and need to actually try executing alike code a see...
The problem is that init_i8259 doesn't have the right
resource for doing the request_resource, if ioport_resource starting from
0x0000 is already taken by a PCI host bridge.
I'm not at all sure that giving out I/O addresses from 0 to PCI is a great
idea -- is it indeed necessary?
I could probably write a
patch, which adds a parameter to init_i8259 for the resource, where the
request_resource is correct. No idea, whether this is worth the efford.
Opions ?
Did you mean options, opinions, or something else? :-)
Thomas.
WBR, Sergei
