Searched refs:Bits (Results 1 - 22 of 22) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dbitmap.c98 /* Bits per word. */
138 #define Bits(bitmap) ((bitmap) + OFF_BITS) macro
145 ((low) * BPW + lsb(*(Bits(bitmap) + (low))))
147 ((high) * BPW + msb(*(Bits(bitmap) + (high))))
171 memcpy(Bits(new_bitmap), Bits(bitmap) + (low), \
367 bits_ptr = Bits(bitmap);
454 *Bits(new_bitmap) = 0;
457 *(Bits(new_bitmap) + high) = 0;
462 bits_ptr = Bits(bitma
[all...]
/barrelfish-master/usr/skb/programs/
H A Dbridge_bios.pl52 % mem, Prefetch, PCIe, Bits).
60 Base, _, Size, MemIO, Prefetch, PCIe, Bits),
61 bar(addr(Bus, Device, Function), BARn, Base, Size, MemIO, Prefetch, Bits),
71 % Base, _, Size, mem, Prefetch, PCIe, Bits),
72 % bar(addr(Bus, Device, Function), _, Base, Size, _, Prefetch, Bits),
80 Size, MemIO, Prefetch, PCIe, Bits) = H,
83 Size, MemIO, Prefetch, PCIe, Bits)], InL,
90 Size, MemIO, Prefetch, PCIe, Bits) = H,
94 Size, MemIO, Prefetch, PCIe, Bits)], InL, OutL)
H A Ddecoding_net4_support.pl123 (findall(c(A,Bits,B), (
124 configurable(A, Bits,B),
128 (foreach(c(A,Bits,B), List4) do
129 retract_configurable(A,Bits,B)
198 assert_configurable(S,SrcId,Bits,DstId,SNew) :-
199 (Bits = 21 -> Slots is (512 * 512 * 512); Slots is 32),
200 assert_conf_node(S,SrcId, DstId, Bits, Slots, SNew).
203 assert_configurable(SrcId,Bits,DstId) :- assert(configurable(SrcId, Bits, DstId)).
205 retract_configurable(SrcId,Bits,DstI
[all...]
H A Ddecoding_net4.pl25 % configurable(SrcNodeId, Bits, OutNodeId)
162 region_aligned(Region, Bits, BlockNum) :-
164 BlockSize is 2^Bits,
185 bits_aligned_superregion(region(Id, block(Base, Limit)), Bits,
187 BlockSize is 2^Bits,
452 configurable(LastConfNodeIn, Bits, LastConfNodeOut),
460 region(LastConfNodeOut, ConfOutBlk), Bits,
463 BlockSize is 2^Bits,
467 region_aligned(region(LastConfNodeIn, block(ConfInBlkB, ConfInBlkL)), Bits, _),
515 configurable(LastConfNodeIn, Bits, LastConfNodeOu
[all...]
H A Dbridge_linux.pl28 region(BAR,Base,Bits,Prefetch,Sz,MulL) = R,
39 El = buselement(device, Addr, BAR, Base, High, Size, mem, Prefetch, pcie, Bits),
H A Dbridge_page_orig_naturally_aligned.pl88 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
92 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
182 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
184 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
H A Dbridge_postorder.pl143 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
145 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
336 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
340 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
H A Ddecoding_net3.pl31 % block_meta(NodeId, Bits, OutNodeId) -- Metadata for block reconfigurable nodes
183 iaddress_aligned(A, Bits) :-
184 BlockSize is 2^Bits,
188 address_aligned([_, IAddress], Bits) :-
189 iaddress_aligned(IAddress, Bits).
191 name_aligned(Name, Bits) :-
193 address_aligned(Addr, Bits).
573 state_query(S, block_meta(SrcId, Bits, OutNodeId)),
576 iaddress_aligned(SrcB, Bits),
581 BlockSize is 2^Bits,
[all...]
H A Ddecoding_net3_multid.pl28 % block_meta(NodeId, Bits, OutNodeId) -- Metadata for block reconfigurable nodes
180 iaddress_aligned([A | As], Bits) :-
181 BlockSize is 2^Bits,
184 iaddress_aligned(As, Bits).
186 address_aligned([_, IAddress], Bits) :-
187 iaddress_aligned(IAddress, Bits).
189 name_aligned(Name, Bits) :-
191 address_aligned(Addr, Bits).
579 state_query(S, block_meta(SrcId, Bits, OutNodeId)),
582 RSize is 2^Bits,
[all...]
H A Dbridge_page.pl169 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
173 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
209 shift_into_window_64_bit(Granularity, Windows, Root, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits),
210 buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
220 (OrigP > 10000000, PF == prefetchable, Bits == 64 ->
268 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
271 bar(addr(Bus,Dev,Fun),BAR, _,Size, Type, Prefetch, Bits),
509 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
[all...]
H A Dbridge_postorder_sorted.pl146 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
148 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
361 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
365 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
H A Dbridge_postorder_sorted_sum.pl151 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
153 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
365 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
369 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
H A Dbridge_postorder_sorted_sum_ascending.pl147 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
149 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
366 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
370 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
H A Dbridge_postorder_sorted_ascending.pl147 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
149 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
364 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
368 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
H A Dbridge_fake_babybel.pl34 region(BAR,Base,Bits,Prefetch,Sz,MulL) = R,
48 El = buselement(device, Addr, BAR, Base, High, Size, mem, Prefetch, pcie, Bits),
579 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
583 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
678 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
680 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
H A Dbridge_fake_bigfish.pl86 adjust_range(X, buselement(T,A,Sec,B1,H1,S,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B2,H2,S,Tp,PF, PCIe, Bits)) :-
90 back_to_bytes(Granularity, buselement(T,A,Sec,BP,HP,SP,Tp,PF, PCIe, Bits), buselement(T,A,Sec,B,H,S,Tp,PF, PCIe, Bits)) :-
188 findall(buselement(device,addr(Bus,Dev,Fun),BAR,Base,High,SizeP,Type,Prefetch, PCIe, Bits),
190 bar(addr(Bus,Dev,Fun),BAR,_,Size, Type, Prefetch, Bits),
H A Ddecoding_net2.pl56 iaddress_aligned([A | As], Bits) :-
57 BlockSize is 2^Bits,
60 iaddress_aligned(As, Bits).
62 address_aligned([_, IAddress], Bits) :-
63 iaddress_aligned(IAddress, Bits).
65 name_aligned(Name, Bits) :-
67 address_aligned(Addr, Bits).
582 findall((Base, Size), call(memory_region,Base,Bits,Size,RamType,Data)@eclipse, MemCandidates),
864 % Allocate a Buffer with Bits size, reachable from N1 and N2. Mark the resolved
866 alloc_common(Bits, N1Enu
[all...]
H A Dbridge.pl33 % findall(memory_region(Base,Bits,Size,Type,Data),(
34 % memory_region(Base,Bits,Size,Type,Data),
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Datts.pl282 findall(Bits, t2v(_,_,Bits, Module), All),
286 all_mask([Bits|L], Mask0, Mask) :-
287 Mask1 is Mask0\/Bits,
H A Dasm.pl1338 encode_edesc(Bits, Is, Is0, Ts, Ts0) :-
1339 is_list(Bits),
1340 ( foreach(Bit,Bits), fromto(0,EAM1,EAM2,EAM) do
1906 integer_bits(N, Bits) :-
1910 fromto(Bits,Bits1,Bits2,[])
H A Dio.pl477 option_format(Option, _, Bits, Depth),
478 On /\ Bits =\= 0
/barrelfish-master/lib/acpica/source/tools/examples/
H A Dextables.c436 PCIEXP_WAK Bits Supported (V4) : 0

Completed in 140 milliseconds