Searched refs:vspace (Results 51 - 75 of 92) sorted by relevance

1234

/barrelfish-2018-10-04/tools/schedsim/
H A Dsimulator.c59 size_t vspace; member in struct:dcb
121 dcb->vspace = 1;
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dtkdebug.tex76 \vspace{3mm}
148 \vspace{3mm}
252 \vspace{3mm}
287 \vspace{2mm}
301 \vspace{3mm}
326 \vspace{3mm}
357 \vspace{3mm}
405 \vspace{3mm}
433 \vspace{3mm}
480 \vspace{
[all...]
H A Dtutorial.tex62 \title{\includegraphics{eclipselogo.eps}\\\vspace{5mm}{\huge A Tutorial Introduction}
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dpaging.c637 if (!local_phys_is_valid(dispatcher->vspace)) {
638 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
639 dispatcher->vspace);
642 lvaddr_t l1 = local_phys_to_mem(dispatcher->vspace);
H A Dstartup_arch.c460 init_dcb->vspace = mem_to_local_phys((lvaddr_t)init_l1);
504 /* tell init the vspace addr of its dispatcher */
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dpaging.c752 if (!local_phys_is_valid(dispatcher->vspace)) {
753 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
754 dispatcher->vspace);
757 lvaddr_t l0 = local_phys_to_mem(dispatcher->vspace);
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dpage_mappings_arch.c527 if (!local_phys_is_valid(dispatcher->vspace)) {
528 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
529 dispatcher->vspace);
532 lvaddr_t root_pt = local_phys_to_mem(dispatcher->vspace);
H A Dvmx_vmkit.c952 assert(dcb->vspace != 0);
956 err = vmwrite(VMX_EPTP_F, ((dcb->vspace) & pa_width_mask() & ~BASE_PAGE_MASK) | 0x18);
959 err = vmwrite(VMX_GUEST_CR3, dcb->vspace);
H A Dstartup_arch.c387 init_dcb->vspace = mem_to_local_phys((lvaddr_t)init_pml4);
393 /* tell init the vspace addr of its dispatcher */
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h60 struct vspace *vspace; member in struct:guest
H A Dguest.c60 static errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr, argument
90 err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr,
163 // also performs the mapping into the vspace of the monitor
185 // Map into the guest vspace
186 err = guest_vspace_map_wrapper(g->vspace, guest_paddr, cap, bytes);
191 // Create a copy of the capability to map in our vspace
202 // Map into my vspace
442 err = pmap_x86_64_init(pmap, &self->vspace, vnode_cap, NULL);
444 err = vspace_init(&self->vspace, pma
[all...]
/barrelfish-2018-10-04/lib/tommath/
H A Dtommath.tex33 \def\Proof{\vspace{1ex}\noindent {\bf Proof:}\hspace{1em}}
47 \def\gap{\vspace{0.5ex}}
787 \vspace{+3mm}\begin{small}
789 \vspace{-3mm}
851 \vspace{+3mm}\begin{small}
853 \vspace{-3mm}
920 \vspace{+3mm}\begin{small}
922 \vspace{-3mm}
980 \vspace{+3mm}\begin{small}
982 \vspace{
[all...]
/barrelfish-2018-10-04/tools/asmoffsets/
H A Dasmoffsets.c97 DECL(DCB_VSPACE, struct dcb, vspace);
/barrelfish-2018-10-04/kernel/arch/x86_32/
H A Dstartup_arch.c446 init_dcb->vspace = mem_to_local_phys((lvaddr_t)init_pdpte);
448 init_dcb->vspace = mem_to_local_phys((lvaddr_t)init_pdir);
455 /* tell init the vspace addr of its dispatcher */
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h438 struct capref cspace, struct capref vspace,
443 capaddr_t vtree_caddr = get_cap_addr(vspace);
437 invoke_dispatcher(struct capref dispatcher, struct capref domdispatcher, struct capref cspace, struct capref vspace, struct capref dispframe, bool run) argument
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dguest.c112 errval_t guest_vspace_map_wrapper(struct vspace *vspace, lvaddr_t vaddr, argument
142 err = vregion_map_fixed(vregion, vspace, &memobj->m, 0, size, vaddr,
215 // also performs the mapping into the vspace of the monitor
241 // Map into the guest vspace
242 err = guest_vspace_map_wrapper(&g->vspace, guest_paddr, cap, bytes);
247 // Create a copy of the capability to map in our vspace
258 // Map into my vspace
490 err = pmap_x86_64_init(pmap, &self->vspace, vnode_cap, NULL);
492 err = vspace_init(&self->vspace, pma
[all...]
/barrelfish-2018-10-04/lib/barrelfish/arch/x86/
H A Dpmap.c449 * Relies on vspace.c code maintaining an ordered list of vregions
457 struct vregion *walk = pmap->vspace->head;
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dumscmacros.tex303 \vspace*{0.5cm}
346 \vspace{0.5cm}
400 \vspace*{0.5cm}
504 \vspace*{0.3cm}
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dinternal.tex50 \vspace{1cm}
H A Dumscmacros.tex320 \vspace*{0.5cm}
363 \vspace{0.5cm}
416 \vspace*{0.5cm}
514 %\vspace*{0.3cm}
/barrelfish-2018-10-04/kernel/
H A Dsyscall.c103 /* 2. set vspace root */
115 dcb->vspace = gen_phys_to_local_phys(get_address(vroot));
142 if (dcb->vspace == 0 || dcb->disp == 0 || dcb->cspace.cap.type != ObjType_L1CNode) {
/barrelfish-2018-10-04/lib/spawndomain/
H A Dspawn.c492 * vspace layout data follows the string data
530 /* Serialise vspace data */
536 err = si->vspace->pmap->f.serialise(si->vspace->pmap, vspace_buf, buflen);
541 /* Setup environment pointer and vspace pointer */
722 /* Initialize vspace */
755 // Add vspace-pspace mapping to environment
833 /* Initialize vspace */
899 /* Initialize vspace */
/barrelfish-2018-10-04/doc/000-overview/
H A DOverview.tex82 or part of) their vspace. Unless dispatchers in a domain run on the
184 cspace (capability tables), vspace (page tables), some scheduling parameters,
196 dispatcher, it brings in the base page table pointed to by the vspace
323 abbreviated to \emph{vspace}) using the capability system. It
328 as a simple example, to map a frame into its vspace an application
355 L1 Page Table of this vspace to an ARMv7 core for installation.
/barrelfish-2018-10-04/kernel/arch/k1om/
H A Dstartup_arch.c402 init_dcb->vspace = mem_to_local_phys((lvaddr_t)init_pml4);
408 /* tell init the vspace addr of its dispatcher */
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddomain.c771 * The new dispatcher is created with the same vroot, sharing the same vspace.
813 * The new dispatcher is created with the same vroot, sharing the same vspace.
1218 * \brief Returns a pointer to the current vspace on the dispatcher priv
1220 struct vspace *get_current_vspace(void)
1224 return &disp->core_state.vspace_state.vspace;

Completed in 139 milliseconds

1234