/barrelfish-2018-10-04/tools/schedsim/ |
H A D | simulator.c | 59 size_t vspace; member in struct:dcb 121 dcb->vspace = 1;
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | tkdebug.tex | 76 \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 D | tutorial.tex | 62 \title{\includegraphics{eclipselogo.eps}\\\vspace{5mm}{\huge A Tutorial Introduction}
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | paging.c | 637 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 D | startup_arch.c | 460 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 D | paging.c | 752 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 D | page_mappings_arch.c | 527 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 D | vmx_vmkit.c | 952 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 D | startup_arch.c | 387 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 D | guest.h | 60 struct vspace *vspace; member in struct:guest
|
H A D | guest.c | 60 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 D | tommath.tex | 33 \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 D | asmoffsets.c | 97 DECL(DCB_VSPACE, struct dcb, vspace);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | startup_arch.c | 446 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 D | invocations_arch.h | 438 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 D | guest.c | 112 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 D | pmap.c | 449 * 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 D | umscmacros.tex | 303 \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 D | internal.tex | 50 \vspace{1cm}
|
H A D | umscmacros.tex | 320 \vspace*{0.5cm} 363 \vspace{0.5cm} 416 \vspace*{0.5cm} 514 %\vspace*{0.3cm}
|
/barrelfish-2018-10-04/kernel/ |
H A D | syscall.c | 103 /* 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 D | spawn.c | 492 * 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 D | Overview.tex | 82 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 D | startup_arch.c | 402 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 D | domain.c | 771 * 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;
|