Lines Matching refs:Addr
101 root(Addr,childbus(MinBus,MaxBus),mem(LMem,HMem)) = Root,
106 constrain_bus(Granularity, Type, prefetchable, Addr,MinBus,MaxBus,LMem,HMem,BusElementListP),
110 devicetree(BusElementListP,buselement(bridge,Addr,secondary(MinBus),RBaseP,RHighP,RSizeP, Type, prefetchable, _, _),TP),
113 constrain_bus(Granularity, Type, nonprefetchable, Addr,MinBus,MaxBus,LMem,HMem,BusElementListNP),
117 devicetree(BusElementListNP,buselement(bridge,Addr,secondary(MinBus),RBaseNP,RHighNP,RSizeNP, Type, nonprefetchable, _, _),TNP),
133 subtract(Lista,[buselement(bridge,Addr,_,_,_,_,_,prefetchable,_,_)],Pl3),
134 subtract(Pl3,[buselement(bridge,Addr,_,_,_,_,_,nonprefetchable,_,_)],Pl2),
247 ( buselement(device,Addr,BAR,Base,High,Size,_,_,_,_) = H ->
248 assert(currentbar(Addr,BAR,Base,High,Size));
256 ( buselement(device,Addr,BAR,_,_,_,_,_,_,_) = H ->
257 ( currentbar(Addr,BAR,_,_,_) ->
258 retract(currentbar(Addr,BAR,_,_,_));