| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
| H A D | serial.c | 64 void* vaddr = chardev_map(defn, ops); local
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
| H A D | serial.c | 61 void* vaddr = chardev_map(defn, ops); local
[all...] |
| /seL4-camkes-master/tools/riscv-pk/pk/ |
| H A D | elf.c | 76 uintptr_t vaddr = ph[i].p_vaddr + bias; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | serial.c | 63 void* vaddr = chardev_map(defn, ops); local
|
| /seL4-camkes-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-camkes-master/kernel/src/arch/x86/machine/ |
| H A D | hardware.c | 69 void flushCacheRange(void *vaddr, uint32_t size_bits) argument
|
| /seL4-camkes-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-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
| H A D | otgusbtty.c | 27 void* vaddr; member in struct:free_token
|
| /seL4-camkes-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-camkes-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | spt.h | 45 void *vaddr; member in struct:__anon704
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | serial.c | 71 void* vaddr = chardev_map(defn, ops); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos4/ |
| H A D | src.c | 114 void *vaddr; local
124 void *vaddr; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
| H A D | serial.c | 78 void* vaddr = chardev_map(defn, ops); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
| H A D | serial.c | 62 void* vaddr = chardev_map(defn, ops); local
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
| H A D | rumpdma.c | 33 uintptr_t vaddr; member in struct:a_list
|
| /seL4-camkes-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-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | dma.h | 158 uintptr_t vaddr; member in struct:dma_frame
|
| /seL4-camkes-master/projects/global-components/components/modules/x86-iospace-dma/templates/ |
| H A D | x86-iospace-dma.template.c | 30 seL4_CPtr get_dma_frame_cap(vspace_t *vspace, void *vaddr) argument
|
| /seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | chardev.h | 51 void* vaddr; member in struct:ps_chardevice
|
| /seL4-camkes-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
|