Searched defs:pud (Results 1 - 5 of 5) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 225 pude_t *pud = pgdSlot_or_vspace; local
488 pude_t *pud = paddr_to_pptr(pgde_pgde_pud_ptr_get_pud_base_address(pgdSlot_or_vspace)); local
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | mux.h | 36 uint32_t pud; member in struct:mux_cfg
|
| H A D | mux.c | 90 static void exynos_mux_set_pud(struct mux_cfg *cfg, int pin, int pud) argument
135 exynos_mux_configure(struct mux_cfg *cfg, int pin, int con, int pud, int drv) argument
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 245 static inline bool_t pude_pude_pd_ptr_get_present(pude_t *pud) argument
250 static inline bool_t pude_pude_1g_ptr_get_present(pude_t *pud) argument
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 301 pude_t *pud; local
365 pude_t *pud; local
403 pude_t *pud; local
438 pude_t *pud = PUD_PTR(cap_page_upper_directory_cap_get_capPUDBasePtr(pud_cap)); local
657 pude_t *pud = PUDE_PTR(vspace); local
1025 pageUpperDirectoryMapped(asid_t asid, vptr_t vaddr, pude_t *pud) argument
1283 unmapPageUpperDirectory(asid_t asid, vptr_t vaddr, pude_t *pud) argument
1508 pude_t *pud = PUD_PTR(cap_page_upper_directory_cap_get_capPUDBasePtr(cap)); local
1510 cap_page_upper_directory_cap_get_capPUDMappedAddress(cap), pud); local
[all...] |
Completed in 98 milliseconds