/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | bitmap.c | 98 /* 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 D | bridge_bios.pl | 52 % 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 D | decoding_net4_support.pl | 123 (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 D | decoding_net4.pl | 25 % 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 D | bridge_linux.pl | 28 region(BAR,Base,Bits,Prefetch,Sz,MulL) = R, 39 El = buselement(device, Addr, BAR, Base, High, Size, mem, Prefetch, pcie, Bits),
|
H A D | bridge_page_orig_naturally_aligned.pl | 88 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 D | bridge_postorder.pl | 143 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 D | decoding_net3.pl | 31 % 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 D | decoding_net3_multid.pl | 28 % 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 D | bridge_page.pl | 169 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 D | bridge_postorder_sorted.pl | 146 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 D | bridge_postorder_sorted_sum.pl | 151 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 D | bridge_postorder_sorted_sum_ascending.pl | 147 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 D | bridge_postorder_sorted_ascending.pl | 147 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 D | bridge_fake_babybel.pl | 34 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 D | bridge_fake_bigfish.pl | 86 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 D | decoding_net2.pl | 56 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 D | bridge.pl | 33 % findall(memory_region(Base,Bits,Size,Type,Data),( 34 % memory_region(Base,Bits,Size,Type,Data),
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | atts.pl | 282 findall(Bits, t2v(_,_,Bits, Module), All), 286 all_mask([Bits|L], Mask0, Mask) :- 287 Mask1 is Mask0\/Bits,
|
H A D | asm.pl | 1338 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 D | io.pl | 477 option_format(Option, _, Bits, Depth), 478 On /\ Bits =\= 0
|
/barrelfish-master/lib/acpica/source/tools/examples/ |
H A D | extables.c | 436 PCIEXP_WAK Bits Supported (V4) : 0
|