/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | serial.c | 64 void* vaddr = chardev_map(defn, ops); local [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | serial.c | 61 void* vaddr = chardev_map(defn, ops); local [all...] |
/seL4-test-master/tools/riscv-pk/pk/ |
H A D | elf.c | 76 uintptr_t vaddr = ph[i].p_vaddr + bias; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | serial.c | 63 void* vaddr = chardev_map(defn, ops); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | serial.c | 63 void *vaddr = chardev_map(defn, ops); local [all...] |
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | hardware.c | 69 void flushCacheRange(void *vaddr, uint32_t size_bits) argument
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | guest_memory.h | 39 uintptr_t vaddr; /** Virtual address of which to map the frame into */ member in struct:vm_frame
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | virtual_pool.c | 26 static int _add_page(allocman_t *alloc, seL4_CPtr pd, void *vaddr) argument
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
H A D | spt.h | 45 void *vaddr; member in struct:__anon603
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | serial.c | 71 void* vaddr = chardev_map(defn, ops); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
H A D | src.c | 114 void *vaddr; local 124 void *vaddr; local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 78 void* vaddr = chardev_map(defn, ops); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | serial.c | 62 void* vaddr = chardev_map(defn, ops); local
|
/seL4-test-master/kernel/include/arch/arm/arch/machine/ |
H A D | debug.h | 181 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | debug.h | 130 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | cache.c | 37 void *vaddr; local 181 void *vaddr; local
|
H A D | pagetables.c | 61 seL4_Word vaddr; local [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | boot.c | 45 static int make_guest_page_dir_continued(void *access_addr, void *vaddr, void *cookie) argument
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 57 int sel4utils_iommu_dma_alloc_iospace(void *cookie, void *vaddr, size_t size) argument
|
H A D | mapping.c | 79 int sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, argument 87 int sel4utils_map_iospace_page(vka_t *vka, seL4_CPtr iospace, seL4_CPtr frame, seL4_Word vaddr, argument 98 int sel4utils_map_ept_page(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, seL4_Word vaddr, argument 24 map_page(vka_t *vka, vspace_map_page_fn_t map_page_fn, vspace_get_map_obj_fn map_obj_fn, seL4_CPtr root, seL4_CPtr frame, void *vaddr, seL4_CapRights_t rights, int cacheable, vka_object_t *objects, int *num_objects) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 20 void *vaddr = NULL; local 59 void *vaddr = vspace_new_pages(vspace, seL4_AllRights, 1, seL4_PageBits); local 148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument [all...] |
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 51 void* vaddr; member in struct:ps_chardevice
|
/seL4-test-master/projects/util_libs/libplatsupport/plat_include/hifive/platsupport/plat/ |
H A D | pwm.h | 49 void *vaddr; member in struct:__anon609
|
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 129 int axi_uartlite_init(void* vaddr, ps_chardevice_t* dev) argument 154 void *vaddr = chardev_map(defn, ops); local
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | walker.c | 87 void *vaddr; local
|