| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | walker.c | 87 void *vaddr; local
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
| H A D | uart.c | 91 void* vaddr = chardev_map(defn, ops); local
|
| H A D | ltimer.c | 32 void *vaddr; member in struct:__anon3
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/machine/ |
| H A D | hardware.h | 98 static inline void flushCacheLine(volatile void *vaddr) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/hifive/platsupport/plat/ |
| H A D | pwm.h | 49 void *vaddr; member in struct:__anon1
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
| H A D | guest_vspace.c | 35 static int guest_vspace_map(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
89 void guest_vspace_unmap(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument
|
| /seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
| H A D | usb_host.h | 92 void* vaddr; member in struct:xact
|
| /seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 266 void *vaddr = old_address + i * BIT(seL4_PageBits); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 97 seL4_Word vaddr = 0; local
134 void *vaddr; local
|
| H A D | io.c | 232 static void sel4platsupport_unmap_vaddr(void *cookie, void *vaddr, UNUSED size_t size) argument
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.debug.c | 18 seL4_Word vaddr; member in struct:breakpoint_state
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
| H A D | timer.h | 132 void *vaddr; member in struct:__anon701
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/odroidc2/platsupport/plat/ |
| H A D | meson_timer.h | 94 void *vaddr; member in struct:__anon722
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
| H A D | rumppci.c | 234 void *vaddr = ps_io_map(&env.io_ops.io_mapper, addr, len, 0, PS_MEM_NORMAL); local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 300 static inline int update_entries(vspace_t *vspace, uintptr_t vaddr, seL4_CPtr cap, size_t size_bits, uintptr_t cookie) argument
314 static inline int reserve_entries(vspace_t *vspace, uintptr_t vaddr, size_t size_bits) argument
336 static inline int clear_entries(vspace_t *vspace, uintptr_t vaddr, size_t size_bits) argument
349 is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, uintptr_t good, uintptr_t bad) argument
362 is_available(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
372 is_reserved(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
377 get_cap(vspace_mid_level_t *top, uintptr_t vaddr) argument
396 get_cookie(vspace_mid_level_t *top, uintptr_t vaddr) argument
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | i2c.c | 387 int omap4_i2c_init(void *vaddr, int irq_id, ps_io_ops_t *io_ops, i2c_bus_t *i2c_bus) argument
424 void *vaddr; local
|
| /seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine_pl2.h | 121 static inline paddr_t PURE addressTranslateS1CPR(vptr_t vaddr) argument
195 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr) argument
|
| /seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/ |
| H A D | machine.h | 144 static inline void invalidateLocalPCID(word_t type, void *vaddr, asid_t asid) argument
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | hpet.c | 107 static inline uint64_t *hpet_get_general_config(void *vaddr) argument
112 static inline uint64_t *hpet_get_main_counter(void *vaddr) argument
117 static inline uint64_t *hpet_get_cap_id(void *vaddr) argument
122 static inline hpet_timer_t *hpet_get_hpet_timer(void *vaddr, unsigned int timer) argument
189 bool hpet_supports_fsb_delivery(void *vaddr) argument
196 hpet_ioapic_irq_delivery_mask(void *vaddr) argument
203 hpet_level(void *vaddr) argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | entry.c | 115 void *vaddr = (void *)(uint_addr + i * BMK_PCPU_PAGE_SIZE); local
186 void *vaddr; local
|
| /seL4-camkes-master/kernel/src/arch/arm/object/ |
| H A D | smmu.c | 392 void invalidateSMMUTLBByASIDVA(asid_t asid, vptr_t vaddr, word_t bind_cb) argument
|
| /seL4-camkes-master/tools/seL4/elfloader-tool/src/binaries/elf/ |
| H A D | elf.c | 228 elf_vaddrInProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument
240 elf_vtopProgramHeader(void *elfFile, uint16_t ph, uint64_t vaddr) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/ |
| H A D | guest_image.c | 135 static int guest_write_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | guest_boot_init.c | 41 static int make_guest_cmd_line_continued(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, argument
|
| H A D | guest_image.c | 45 static int guest_elf_write_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument
51 static int guest_elf_read_address(vm_t *vm, uintptr_t paddr, void *vaddr, size_t size, size_t offset, void *cookie) argument
101 uint32_t vaddr; local
253 uint32_t vaddr = elf_getProgramHeaderVaddr(&kernel_elf, i); local
[all...] |