| /seL4-camkes-master/kernel/src/arch/arm/armv/armv7-a/ |
| H A D | tlb.c | 11 void lockTLBEntry(vptr_t vaddr) argument
18 void lockTLBEntry(vptr_t vaddr) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | guest_vspace_arch.h | 12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_vspace_arch.h | 12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/ |
| H A D | mapping.c | 17 static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | chardev.c | 57 void* vaddr = params; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
| H A D | serial.h | 28 void *vaddr; member in struct:__anon13
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/kernel/ |
| H A D | tlb.h | 29 static inline void invalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
|
| /seL4-camkes-master/kernel/include/machine/ |
| H A D | debug.h | 53 word_t vaddr, type, size, rw; member in struct:getBreakpointRet
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mapping.h | 43 static inline int sel4utils_map_page_leaky(vka_t *vka, seL4_CPtr pd, seL4_CPtr frame, void *vaddr, argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/arm/ |
| H A D | mapping.c | 16 static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 65 void *vaddr = vspace_map_pages(vspace, &frame->cptr, &frame->ut, seL4_AllRights, 1, size_bits, 0); local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | dataport.h | 45 uintptr_t vaddr; member in struct:dataport_frame
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
| H A D | sysreg.c | 48 void *vaddr; local
57 void *vaddr; local
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/ |
| H A D | machine_pl2.h | 38 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/smp/ |
| H A D | ipi.h | 24 static inline void doRemoteInvalidatePCID(word_t type, void *vaddr, asid_t asid, word_t mask) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
| H A D | uart.c | 74 void *vaddr = chardev_map(defn, ops); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | mapping.h | 25 static inline seL4_Error vspace_iospace_map_page(seL4_CPtr cap, seL4_CPtr root, seL4_Word vaddr, argument
62 vspace_map_obj(vspace_map_obj_t *obj, seL4_CPtr cap, seL4_CPtr vspace, seL4_Word vaddr, seL4_Word attr) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_emul_helpers.c | 12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4dma/include/dma/ |
| H A D | dma.h | 27 uintptr_t vaddr; member in struct:dma_mem_descriptor
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | pmem.h | 45 void *vaddr = ps_io_map(&ops->io_mapper, region.base_addr, region.length, cached, flags); local
60 static inline void ps_pmem_unmap(ps_io_ops_t *ops, pmem_region_t region, void *vaddr) { argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/ |
| H A D | system_timer.h | 64 void *vaddr; member in struct:__anon707
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hikey/platsupport/plat/ |
| H A D | rtc.h | 52 void *vaddr; member in struct:__anon713
57 void *vaddr; member in struct:__anon714
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
| H A D | hpet.h | 25 void *vaddr; member in struct:PACKED
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 63 void* vaddr = chardev_map(defn, ops); local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 59 void* vaddr = chardev_map(defn, ops); local
|