/barrelfish-master/doc/021-cpudriver/ |
H A D | cpudriver.tex | 139 The source code responsible for booting a new core on x86 is found in 146 in physical memory since the new APP core starts in protected mode and 148 mapping is initiated, the entry point address for the new APP kernel will be 150 in order to send the necessary IPIs to bootstrap the new processor.
|
/barrelfish-master/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 128 the network driver. Application creates a new pbuf structure with 129 same pbuf-id but pointing at new buffer location and send it back to 130 the driver as new free pbuf to use. And the location of previous 135 released buffer is then used to create new pbuf which will be 144 phase and hence can-not be used by driver to receive the new data. 313 which joins the system contributes a new shared-pool to the 356 logic which creates new packet to send out is much simpler than 387 the producer itself. As new consumers join the system, each one of 545 read-only access to this new shared-pool and then map it into 638 consumer whenever the consumer-queue is empty and new dat [all...] |
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 305 a new, different variable). 632 get_structure(a(A),F,ref(L)) & If argument is variable, push new structure 663 read_variable(N,y(Y)) & move content of location S++ to new environment \\ 664 read_variable & move content of location S++ to new temporary \\ 670 read_reference(N,y(Y)) & create reference to S++ in new environment \\ 671 read_reference & create reference to S++ in new temporary \\ 692 write_variable & create free variable at S++, put reference in new temporary \\ 695 write_variable(N,y(Y)) & create variable at S++, put reference in new environment \\ 700 write_named_variable(T) & create named free variable at S++, put reference in new temporary \\ 703 write_named_variable(N,y(Y),T) & create named variable at S++, put reference in new environmen [all...] |
H A D | globalstate.tex | 160 Resize an allocated area. The new address may differ from the old one, 189 Resize an allocated area. The new address may differ from the old one,
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 32 % plus new sections on the new CHR library 87 \rep fail}). Propagation adds new constraints which are logically 528 is, the new constraint needs not to be added. The handling of the 538 include the case where the new constraint is identical to the 866 \item \verb/add/: A new constraint is added to the constraint store. 899 A new, extended, {\tt chr} library has been developed, with the intention of providing 963 {\tt @} clashes with the use of {\tt @} in modules. The new operator 965 new syntax: 995 compilation of \chr\ code is always incremental when a new fil [all...] |
H A D | obsman.tex | 93 existing code to the newer libraries. Documentation for the new libraries 105 new {\bf ic_sets} library. 219 The system replaces such a subexpression by a new variable {\it X} 220 and adds a new constraint {\it VarA \#= VarB * X}. 222 are replaced by a new variable {\it X} 223 and a new constraint {\it X \#= VarA * VarB} is added, 261 according to the new domain; if it is instantiated, the predicate checks 343 found solution, failure is forced and a new solution is searched for. 344 When a new better solution is found, the bound is updated and 346 Each time a new bette [all...] |
H A D | eplex.tex | 86 %The notion of solver handles is new. It removes the ugly 264 This predicate creates a new external solver state and associates it 274 Explicitly invokes the external solver state. Any new constraints 490 This is a more sophisticated set up for a new solver state than 630 is instantiated to the objective value for this new modified problem, and 700 returned by this predicate when the new solver state is created. 724 It creates a new solver state for the set of constraints NormConstraints 751 Add new constraints (with possibly new variables) to the solver state 753 The new constraint [all...] |
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | umsusing.tex | 199 \guitext{File} menu (or use the \guitext{Edit new ...} option if the file 243 \subsubsection{Edit new} 244 Allows the user to specify a new file that will be opened with the default 249 reference over it, and display the resulting graph in a new window. 259 Allows the user to specify a new module that will be created. The new 346 new files. 379 This starts a new Java visualisation client that allows {\eclipse} programs
|
H A D | constimpl.tex | 505 If we want to add a new constraint to an existing solver, we also 572 X #>= YL, % impose new bounds 582 Note that we suspend a new instance of the {\tt ge(X,Y)} goal {\em before} 583 we impose the new bounds on the variables. This is important when the 594 wakes up and (as long as there are still two variables) a new, 632 X #>= YL, % impose new bounds 635 We have used the new primitives suspend/4 and kill_suspension/1.
|
H A D | repairtut.tex | 310 {\eclipse} then unfolds the first clause and sends the new temporal 314 After fixing a resource constraint, and posting a new temporal 316 values are changed to the new {\tt ic} lower bounds. 589 if new optimum 642 CurrentProfit > Best % new optimum? 707 ( CurrentProfit > Opt2 -> % is it new optimum? 767 ( CurrentProfit > Opt1 -> % is it new optimum?
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | fat.tex | 70 new entry. When the entry is no longer used, the client must call 75 unused list, free its data, and use the entry for the new cache item.
|
H A D | future.tex | 52 \ac{ahci}-compliant controllers, support is limited to realtively new
|
/barrelfish-master/doc/018-Practical-guide/ |
H A D | readme.tex | 28 usually discover new quirks (or missing functionality in the ACPI glue code) 29 on each new machine we test. The following systems are known to work:
|
/barrelfish-master/lib/barrelfish/ |
H A D | capabilities.c | 180 * \brief Retype a capability into one or more new capabilities, going through 287 * \brief Retype (part of) a capability into one or more new capabilities 295 * \param count The number of new objects to create 300 * Retypes (part of) the given source capability into a number of new 301 * capabilities, which may be of the same or of different type. The new 447 * \param new the replacement L1 CNode 450 errval_t root_cnode_resize(struct capref new, struct capref ret) argument 452 assert(get_croot_addr(new) == CPTR_ROOTCN); 453 assert(get_cap_level(new) == CNODE_TYPE_COUNT); 454 capaddr_t new_cptr = get_cap_addr(new); [all...] |
/barrelfish-master/include/vm/ |
H A D | swap_pager.c | 45 * - The new swapper uses the new radix bitmap code. This should scale 51 * - on the fly reallocation of swap during putpages. The new system 383 * dmmax is in page-sized chunks with the new swap system. It was 607 * SWAP_PAGER_ALLOC() - allocate a new OBJT_SWAP VM object and instantiate 610 * This routine is called from the mmap and fork code to create a new 625 * Reference existing named region or allocate new one. There 1276 * In a low memory situation we may block in VOP_STRATEGY(), but the new 2745 int error, new, n; local 2747 new [all...] |
/barrelfish-master/doc/009-notifications/ |
H A D | Notify.tex | 48 a new kernel notification primitive for Barrelfish. 113 contained a list of channels with \emph{new} incoming messages 114 (identifying new messages required an explicit \emph{acknowlegement 116 could efficiently dispatch new messages, and if the FIFO overflowed 142 On the sending side I have a new system call:
|
/barrelfish-master/doc/017-arm/ |
H A D | ARM.tex | 46 \vhEntry{0.2}{08.12.2015}{TR}{Rewritten for new ARMv7 code} 79 aim to make it easy to add new ARM-based platforms with a mixture of 386 a new KCB, and calls: 527 Activations, the domain is upcalled at a fixed address with a new 756 new core 758 \item monitor allocates memory for new kernel and remote monitor 761 \item monitor setups boot information for new kernel 762 \item spawnd issues syscall to start new core 763 \item Kernel writes entry address for new core into SYSFLAG registers 764 \item Kernel raises software interrupt to start new cor [all...] |
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 184 EclipseEngineOptions eclipseEngineOptions = new EclipseEngineOptions(); 323 Atom a = new Atom("a"); 324 Atom b = new Atom("b"); 325 Integer numberThree = new Integer(3); 326 CompoundTerm theTerm = new CompoundTermImpl("foo", a, b, numberThree); 371 Collection theCollection = new LinkedList(); 373 theCollection.add(new Integer(1)); 374 theCollection.add(new CompoundTermImpl("foo", new Double(3.5))); 375 theCollection.add(new Ato [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | emu_c_env.c | 209 Push_Witness; /* must be first new thing on global */ 1484 s[2].val.did = d_.minus; /* new difference list header */ 1762 * Originally, we had the additional restriction that also the new value 1783 value v, type t) /* the new value and tag */ 1799 register pword *new = TG++; 1801 new->val.ptr = new; 1802 new->tag.kernel = TREF; 1804 v.ptr = v.ptr->val.ptr = new; 1811 register pword *new 1797 register pword *new = TG++; local 1809 register pword *new = TG++; /* create an intermediate cell */ local [all...] |
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 32 \vhEntry{0.1}{16.05.2017}{GZ}{Update with info about new driver structure} 75 spawn or destroy new driver instances. 167 In a first step, we will look at the necessary bits and pieces to write a new 289 the scenes and how to adapt the infrastructure for new architcures or boards. 391 new device. You will find the mapping database in 530 want to write user-level device drivers on a new, unsupported platform. We 578 \fnname{spawn\_init\_common} is setting up a new dispatcher control block, for 581 \fnname{caps\_create\_new} creates a new capability of type 587 region of the OMAP4 chip. The last argument specifies where this new
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | knowbase-lst.tex | 56 \item[createkb(+KnowledgeBasePath)]{Create a new knowledge base or open a knowledge base if it already exists.}
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/ |
H A D | Makefile | 139 $(PERL) -pe 'if (/^# DO NOT DELETE THIS LINE/) {print; exit(0);}' $(MAKEFILE) >Makefile.new 140 mv -f Makefile.new $(MAKEFILE)
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/dh/ |
H A D | Makefile | 71 $(PERL) -pe 'if (/^# DO NOT DELETE THIS LINE/) {print; exit(0);}' $(MAKEFILE) >Makefile.new 72 mv -f Makefile.new $(MAKEFILE)
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/pkcs7/ |
H A D | Makefile | 90 $(PERL) -pe 'if (/^# DO NOT DELETE THIS LINE/) {print; exit(0);}' $(MAKEFILE) >Makefile.new 91 mv -f Makefile.new $(MAKEFILE)
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/rand/ |
H A D | Makefile | 71 $(PERL) -pe 'if (/^# DO NOT DELETE THIS LINE/) {print; exit(0);}' $(MAKEFILE) >Makefile.new 72 mv -f Makefile.new $(MAKEFILE)
|