Searched refs:pml4 (Results 1 - 12 of 12) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86/
H A Ddebug.h18 void debug_vaddr_identify(lvaddr_t pml4, lvaddr_t vaddr);
/barrelfish-2018-10-04/usr/acpi/arch/x86/
H A Dacpi_service_arch.c35 static void create_domain(struct acpi_binding *b, struct capref pml4) argument
38 err = vtd_create_domain(pml4);
43 static void delete_domain(struct acpi_binding *b, struct capref pml4) argument
46 err = vtd_remove_domain(pml4);
52 uint32_t dev, uint32_t func, struct capref pml4)
55 err = vtd_domain_add_device(seg, bus, dev, func, pml4);
61 uint32_t dev, uint32_t func, struct capref pml4)
64 err = vtd_domain_remove_device(seg, bus, dev, func, pml4);
51 vtd_add_device(struct acpi_binding *b, uint32_t seg, uint32_t bus, uint32_t dev, uint32_t func, struct capref pml4) argument
60 vtd_remove_device(struct acpi_binding *b, uint32_t seg, uint32_t bus, uint32_t dev, uint32_t func, struct capref pml4) argument
/barrelfish-2018-10-04/lib/acpi_client/
H A Dacpi_client.c83 errval_t vtd_create_domain(struct capref pml4) argument
87 err = binding->rpc_tx_vtbl.create_domain(binding, pml4, &msgerr);
91 errval_t vtd_delete_domain(struct capref pml4) argument
95 err = binding->rpc_tx_vtbl.delete_domain(binding, pml4, &msgerr);
99 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4) argument
103 err = binding->rpc_tx_vtbl.vtd_add_device(binding, seg, bus, dev, func, pml4, &msgerr);
107 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4) argument
111 err = binding->rpc_tx_vtbl.vtd_remove_device(binding, seg, bus, dev, func, pml4, &msgerr);
/barrelfish-2018-10-04/include/acpi_client/
H A Dacpi_client.h38 errval_t vtd_create_domain(struct capref pml4);
39 errval_t vtd_delete_domain(struct capref pml4);
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Ddebug.c28 uint64_t pml4 :9; member in struct:lin_addr::__anon406
51 printf("pml4 = %x\n", lin_addr.d.pml4);
59 (lin_addr.d.pml4 * sizeof(union x86_64_pdir_entry)));
H A Dpaging.c50 static union x86_64_pdir_entry pml4[X86_64_PTABLE_SIZE] variable in typeref:union:x86_64_pdir_entry
96 * in the page hierarchy rooted at pml4. base and size will be made
127 &pml4[X86_64_PML4_BASE(vaddr)],
188 paging_x86_64_context_switch(mem_to_local_phys((lvaddr_t)pml4));
212 newpml4[i] = pml4[i];
/barrelfish-2018-10-04/usr/acpi/
H A Dvtd_domains.h23 struct capref pml4; member in struct:vtd_domain
60 static inline struct vtd_domain *vtd_new_domain(int did, genpaddr_t pt, struct capref pml4, struct vtd_unit *units) argument
66 new_domain->pml4 = pml4;
H A Dintel_vtd.h49 errval_t vtd_create_domain(struct capref pml4);
50 errval_t vtd_remove_domain(struct capref pml4);
52 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4);
53 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4);
H A Dintel_vtd.c204 err = invoke_vnode_identify(identity_domain->pml4, &pml4_id);
212 // Removes a device from the domain specified by pml4.
213 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4) argument
219 genpaddr_t pt = pml4_base(pml4);
263 // Adds a device to the domain specified by pml4.
264 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4) argument
271 genpaddr_t pt = pml4_base(pml4);
274 // Find the domain with the provided pml4 capability
293 // we remove it before adding it to the domain specified by pml4
297 err = vtd_domain_remove_device(seg, bus, dev, func, identity_domain->pml4);
338 vtd_create_domain(struct capref pml4) argument
374 vtd_remove_domain(struct capref pml4) argument
[all...]
/barrelfish-2018-10-04/kernel/include/target/x86_64/
H A Dpaging_kernel_target.h460 * Assigns given physical base address of PML4 'pml4' to the CR3
465 * \param pml4 Physical base address of PML4 table.
467 static void inline paging_x86_64_context_switch(lpaddr_t pml4) argument
469 __asm volatile("mov %[pml4], %%cr3"
472 [pml4] "r" (pml4)
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c83 // the base macros work here as we only have one pml4.
1000 struct vnode *pml4 = &x86->root; local
1002 assert(pml4 != NULL);
1008 for (pdpt = pml4->u.vnode.children; pdpt != NULL; pdpt = pdpt->next) {
1050 assert(size < 512ul * 1024 * 1024 * 1024); // pml4 size
1052 // try to find free pml4 entry
1060 //debug_printf("looping over pml4 entries\n");
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.c613 static uint64_t pml4[512] = {
618 memcpy((void *)(guest_to_host(g->mem_low_va + 0x1000)), pml4, sizeof(pml4));
1014 // get a pointer to the pml4 table
1016 // get pml4 entry

Completed in 158 milliseconds