/barrelfish-master/tools/harness/tests/ |
H A D | splash_bomp.py | 28 for i in range(1, ncores + 1):
|
H A D | echoserver.py | 76 for _ in range(IPBENCH_ITERATIONS): 109 for _ in range(IPBENCH_NDAEMONS):
|
H A D | mdbbench.py | 15 counts = [1<<x for x in range(12, 16+1)]
|
/barrelfish-master/usr/drivers/xeon_phi/ |
H A D | xeon_phi_internal.h | 54 * MMIO range. 120 struct mbar mmio; ///< pointer to the MMIO address range 121 struct mbar apt; ///< pointer to the aperture address range 205 * \brief maps the aperture memory range of the Xeon Phi into the drivers 209 * \param range how much bytes to map 214 size_t range); 217 * \brief unmaps the previously mapped aperture range when the programming
|
H A D | xeon_phi.c | 146 USER_PANIC_ERR(err, "Failed to map aperture range"); 156 USER_PANIC_ERR(err, "Failed to map MMIO range"); 358 * \brief maps the aperture memory range of the Xeon Phi into the drivers 362 * \param range how much bytes to map 367 size_t range) 375 err = vspace_map_one_frame(&addr, range, phi->apt.cap, NULL, NULL); 387 * \brief unmaps the previously mapped aperture range when the programming 366 xeon_phi_map_aperture(struct xeon_phi *phi, size_t range) argument
|
/barrelfish-master/usr/eclipseclp/CPViz/viz/src/ie/ucc/cccc/viz/ |
H A D | VisualizerMatrix.java | 76 int range = context.getMax()-context.getMin()+1;
77 int cut = (int) Math.ceil(Math.sqrt(range));
151 // int range = context.getMax()-context.getMin()+1;
152 // int cut = (int) Math.ceil(Math.sqrt(range));
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | branch_and_bound.pl | 210 % better solutions within the delta-range 314 % fails if there is no range left to explore 503 % so both probe-range and improvement are at least Delta/2 506 % make sure the probe covers at least a Delta-range, 556 % bb_probe tries to find a solution for Goal in the range From..To. 677 <DD>after finding a solution, split the remaining cost range 678 and restart search to find a solution in the lower sub-range. 679 If that fails, assume the upper sub-range as the remaining 680 cost range and split again.</DD> 735 range [all...] |
H A D | suspend.pl | 768 iff all the elements of the list Vars are numbers within the range 771 The range must eventually be in the form Lo..Hi, where Lo and Hi are 798 iff all the elements of the list Vars are integers within the range 801 The range must eventually be in the form Lo..Hi, where Lo and Hi are 806 summary: "Pure range constraint", 832 iff all the elements of the list Vars are numbers within the range 835 The range must eventually be in the form Lo..Hi, where Lo and Hi are 840 summary: "Reified range constraint with optional integrality constraint", 857 % range violated 870 Reified version of ::/2, i.e. the truth value of the range constrain [all...] |
/barrelfish-master/include/vm/ |
H A D | vm_phys.c | 233 * Red-black tree helpers for vm fictitious range management. 237 struct vm_phys_fictitious_seg *range) 240 KASSERT(range->start != 0 && range->end != 0, 241 ("Invalid range passed on search for vm_fictitious page")); 242 if (p->start >= range->end) 244 if (p->start < range->start) 260 ("Invalid range passed as second parameter to vm fictitious comparison")); 262 /* Searching to add a new range */ 772 ("vm_phys_alloc_pages: pool %d is out of range", poo 236 vm_phys_fictitious_in_range(struct vm_phys_fictitious_seg *p, struct vm_phys_fictitious_seg *range) argument 906 vm_phys_fictitious_init_range(vm_page_t range, vm_paddr_t start, long page_count, vm_memattr_t memattr) argument [all...] |
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/ |
H A D | util.tcl | 367 set ec [string range $ec 0 [incr ei -1]] 391 # gets random number within input range 393 # rng range to limit output to 395 # returns random number within range 0..$rng 731 set fvar $val[string range $format $i end] 743 set bvar [string range $bvar 0 $len] 746 set bvar [string range $bvar 0 [incr len -1]]
|
H A D | util-tk.tcl | 240 $base.f.e select range 0 end
|
/barrelfish-master/usr/skb/programs/ |
H A D | bridge_page_orig_naturally_aligned.pl | 40 findall(range(ResLowP,ResSizeP), 57 findall(range(Bs,IOAPIC_MinSize), 264 % make sure that the bridge has a range which includes all the children 332 ( foreach(range(RBase,RSize),MemoryRanges),
|
H A D | decoding_net.pl | 81 %% Address range in block
|
/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/ |
H A D | GanttViewer.java | 332 ViewletRange range) { 333 for(Iterator it = range.iterator(); it.hasNext(); ) { 331 rangeUpdated(ViewletDataStore store, ViewletRange range) argument
|
H A D | GraphViewer.java | 851 ViewletRangeCollection range = new ViewletRangeCollection(); 858 range.add(index); 862 return range; 1032 ViewletRange range = new ViewletRangeCollection(); 1033 range.add( index ); 1037 range); 1059 this.viewletType.startBuild(this, viewletDataStore, range, goalResults); 1610 ViewletRange range) { 1611 for(Iterator it = range.iterator(); it.hasNext(); ) { 1609 rangeUpdated(ViewletDataStore store, ViewletRange range) argument
|
H A D | ContainerViewer.java | 1023 ViewletRange range = getSelection(); 1024 if (range != null) { 1025 for(Iterator it = viewletType.getActions(viewletDataStore, range).iterator();
|
/barrelfish-master/usr/bench/cow/ |
H A D | main.c | 117 int range = rangeHigh - rangeLow + 1; local 118 int myRand_scaled = (myRand * range) + rangeLow;
|
/barrelfish-master/usr/acpi/ |
H A D | acpi.c | 101 ACPI_DEBUG("Warning: Treating non-fixed address range resource as fixed\n"); 113 ACPI_DEBUG("PCI mem range %lx-%lx granularity 0x%lx translation offset " 126 struct memrange *range = &reserved_memory[i]; 127 if (min < range->limit && max >= range->min) { 128 if (min < range->limit && min >= range->min) { 130 min = range->limit; 131 } else if (max - range->limit > range 272 struct memrange range = { local [all...] |
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 208 Physical address range & Physical address range & Yes\NN 209 Physical address range & RAM & Yes\NN 210 Physical address range & Device frame & Yes\NN 285 \subsection{Physical address range} 291 By retyping physical address range capabilities to RAM, the caller 294 physical address range capabilities is therefore a critical part of 303 \item[Retyability] To Physical address range, RAM or DevFrame type. 315 datatype physaddr_cap "Physical address range capability" { 328 \item[Origin] Retyping from physical address range capabilitie [all...] |
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 173 %for the range of applications in mind. 175 %\ECL system, will give the reader an intuitive feeling for the range 752 The command {\em applist(range(0,99), [Min \verb0|0 PocketCoins])} 753 associates a range (between 0 and 99) with each of the variables. 773 This set of coins is also initialised to range between 0 and 99 809 applist(range(0,99),[Min|PocketCoins]), 816 applist(range(0,99),Coins), 820 range(Min,Max,Var) :- 857 applist(range(0,99),[Min|PocketCoins]), 865 applist(range( [all...] |
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | clients.tex | 266 Selecting individual \viewlet{}s can be done clicking on them with the left mouse button, whilst selecting ranges can be done by dragging the mouse across a range of \viewlet{}s. 372 Toggle horizontal/vertical range bar & Toggles the rotation of the bar for all bounds \viewlet{}s & bound \\ 405 Once an appropriate \viewlet{} type has been selected, the range 409 Figure \ref{fig:rangeselect} shows the range select dialog for the on 415 \caption{The range selection dialog for the \texttt{SEND+MORE=MONEY} example} 431 \caption{The result of selecting a 1D range} 438 \caption{The result of selecting a 2D range} 442 Higher dimension range selections result in a stacked 2D grid, with
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | grace.pl | 155 :- call(define_struct(grace(range, id, matrix))). 167 add_attribute(Copy, grace with [range:0, id:Id], grace). 726 reset_var(_{grace with [range: Low..High]}, N, I, J) :- 737 add_attribute(X, grace with [range: Min..Max, id:Id, matrix:Name], grace)
|
H A D | matrix_util.pl | 105 % Get a list range 263 % Extract a submatrix in a given range
|
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 490 for you, in reality it is a B+-tree structure that will manage a certain range 491 of memory, in our case device memory. It allows you to request a smaller range 492 from this usually very large range that we initalize our memory manager with 516 create fine grained capabilities for this entire memory range. If you go back 566 platform, the device memory usually lives in a statically pre-defined range. 569 device memory range of the the OMAP4 platform. The relevant parts are 584 arguments are the physical base of the address range and the size (in bits) of 585 the range. This particular capability covers a memory range of $2^{30}$ bytes,
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | map.pl | 128 % done requires the range of Map1 to be ground as well as the domains 254 % unifies Range with the ordered set representation of the range of the 256 % the range are seldom equal, except of course for invertible maps.
|