Sockeye: Make bars start at 0
@@ -192,10 +192,10 @@ add_pci_internal(S, Addr, Enum, Module, ModuleIOMMU, NewS) :-
param(Id), param(PCIBUS_ID),
fromto(S4, SIn, SOut, S5) do
BarId = [BarNum, "BAR" | Id],
- BarEnd is BarStart + BarSize,
- state_add_accept(SIn, region(BarId, block(BarStart,BarEnd)), SIn1),
+ BarEnd is BarSize - 1,
+ state_add_accept(SIn, region(BarId, block(0, BarEnd)), SIn1),
state_add_mapping(SIn1,region(PCIBUS_ID, block(BarStart,BarEnd)),
- name(BarId,BarStart), SOut)
+ name(BarId,0), SOut)
),
% Set it to the node id where addresses are issued from the PCI device
state_add_pci_id(S5, Addr, Enum, S6),
