/barrelfish-2018-10-04/kernel/include/arch/x86/ |
H A D | debug.h | 18 void debug_vaddr_identify(lvaddr_t pml4, lvaddr_t vaddr);
|
/barrelfish-2018-10-04/usr/acpi/arch/x86/ |
H A D | acpi_service_arch.c | 35 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 D | acpi_client.c | 83 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 D | acpi_client.h | 38 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 D | debug.c | 28 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 D | paging.c | 50 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 D | vtd_domains.h | 23 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 D | intel_vtd.h | 49 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 D | intel_vtd.c | 204 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 D | paging_kernel_target.h | 460 * 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 D | pmap.c | 83 // 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 D | guest.c | 613 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
|