Searched defs:pml4 (Results 1 - 8 of 8) sorted by relevance

/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
43 static void delete_domain(struct acpi_binding *b, struct capref pml4) argument
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/kernel/arch/x86_64/
H A Ddebug.c28 uint64_t pml4 :9; member in struct:lin_addr::__anon406
H A Dpaging.c50 static union x86_64_pdir_entry pml4[X86_64_PTABLE_SIZE] variable in typeref:union:x86_64_pdir_entry
/barrelfish-2018-10-04/lib/acpi_client/
H A Dacpi_client.c83 errval_t vtd_create_domain(struct capref pml4) argument
91 errval_t vtd_delete_domain(struct capref pml4) argument
99 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4) argument
107 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4) argument
/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
H A Dintel_vtd.c213 errval_t vtd_domain_remove_device(int seg, int bus, int dev, int func, struct capref pml4) argument
264 errval_t vtd_domain_add_device(int seg, int bus, int dev, int func, struct capref pml4) argument
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.h467 static void inline paging_x86_64_context_switch(lpaddr_t pml4) argument
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dpmap.c1000 struct vnode *pml4 = &x86->root; local

Completed in 114 milliseconds