Lines Matching refs:Addr
55 Addr #>= Base,
56 Addr #< Base + Size,
59 address:Addr
66 address:Addr
68 get_bounds(Addr,Min,Max),
70 ( get_domain_size(Addr,Size) ->
89 maps_to_name([Map|_],Addr,Name) :-
100 Addr :: Range,
102 DestAddr #= Addr - SrcBase + DestBase.
104 maps_to_name([_|Maps],Addr,Name) :-
105 maps_to_name(Maps,Addr,Name).
107 translate(NodeSpec,Addr,Name) :-
109 maps_to_name(Translate,Addr,Name).
111 accept(NodeSpec,Addr) :-
120 Addr :: Ranges.
125 address:Addr
131 accept(NodeSpec,Addr).
136 address:Addr
142 translate(NodeSpec,Addr,DestName).
219 Addr #= Base + EnumInt - EBase,
220 Name = name{node_id:NodeId, address: Addr}.