/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 86 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights) argument 721 word_t vaddr = getSyscallArg(0, buffer); local 807 word_t vaddr local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_net_emul.c | 22 void *vaddr; member in struct:emul_tx_cookie 32 void *vaddr = ps_dma_alloc(&net->dma_man, BUF_SIZE, net->driver.dma_alignment, 1, PS_MEM_NORMAL); local 151 void *vaddr = ps_dma_alloc(&net->dma_man, BUF_SIZE, net->driver.dma_alignment, 1, PS_MEM_NORMAL); local [all...] |
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/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...] |
H A D | acpi.c | 55 static int make_guest_acpi_tables_continued(vm_t *vm, uintptr_t paddr, void *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/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
|
H A D | guest_ram.c | 128 int vm_guest_ram_read_callback(vm_t *vm, uintptr_t addr, void *vaddr, size_t size, size_t offset, void *buf) argument 134 int vm_guest_ram_write_callback(vm_t *vm, uintptr_t addr, void *vaddr, size_t size, size_t offset, void *buf) argument 140 static int touch_access_callback(void *access_addr, void *vaddr, void *cookie) 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
|
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_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/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/seL4_projects_libs/libsel4dma/src/ |
H A D | dma.c | 405 dma_mem_t dma_vlookup(struct dma_allocator *dma_allocator, vaddr_t vaddr) argument 457 vaddr_t vaddr; local
|
/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/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 50 uint64_t vaddr; local 1074 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument 1143 word_t vaddr; local 1250 unmapPDPT(asid_t asid, vptr_t vaddr, pdpte_t *pdpt) argument 1307 word_t vaddr; local 1433 modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument 1479 createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, vm_attributes_t attr, vspace_root_t *vspace) argument 1509 decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument 1540 readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) argument [all...] |
/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/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 647 bool_t modeUnmapPage(vm_page_size_t page_size, vspace_root_t *vroot, vptr_t vaddr, void *pptr) argument 653 decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
|
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 209 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument 240 pptr_t vaddr; local 1025 pgde_t *pageUpperDirectoryMapped(asid_t asid, vptr_t vaddr, pude_ argument 1044 pageDirectoryMapped(asid_t asid, vptr_t vaddr, pde_t *pd) argument 1238 invalidateTLBByASIDVA(asid_t asid, vptr_t vaddr) argument 1260 pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) argument 1283 unmapPageUpperDirectory(asid_t asid, vptr_t vaddr, pude_t *pud) argument 1299 unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument 1312 unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument 1796 vptr_t vaddr; local 1884 vptr_t vaddr; local 1977 vptr_t vaddr; local 2068 vptr_t vaddr; local 2197 vptr_t vaddr; local 2467 readWordFromVSpace(vspace_root_t *pd, word_t vaddr) argument [all...] |
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 155 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument 770 static resolve_ret_t resolveVAddr(pde_t *pd, vptr_t vaddr) argument 1092 pde_t *pageTableMapped(asid_t asid, vptr_t vaddr, pte_t *pt) argument 1218 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_ argument 1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1791 pageBase(vptr_t vaddr, vm_page_size_t size) argument 2158 word_t vaddr, pdIndex; local 2284 word_t vaddr, vtop, w_rightsMask; local 2453 vptr_t vaddr; local 2857 readWordFromVSpace(pde_t *pd, word_t vaddr) argument [all...] |
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 183 get_cdl_frame_pdpt(CDL_ObjID root, uintptr_t vaddr, CDL_Model *spec) argument 193 get_cdl_frame_pd(CDL_ObjID root, uintptr_t vaddr, CDL_Model *spec) argument 206 get_cdl_frame_pud(CDL_ObjID root, uintptr_t vaddr, CDL_Model *spec) argument 216 get_cdl_frame_pd(CDL_ObjID root, uintptr_t vaddr, CDL_Model *spec) argument 233 get_cdl_frame_pt(CDL_ObjID pd, uintptr_t vaddr, CDL_Model *spec) argument 256 get_cdl_frame_pt_recurse(CDL_ObjID root, uintptr_t vaddr, CDL_Model *spec, int level) argument 272 get_cdl_frame_pt(CDL_ObjID pd, uintptr_t vaddr, CDL_Model *spec) argument 279 get_cdl_frame_cap(CDL_ObjID pd, uintptr_t vaddr, CDL_Model *spec) argument 298 get_frame_cap(CDL_ObjID pd, uintptr_t vaddr, CDL_Model *spec) argument 1417 map_page(CDL_Model *spec UNUSED, CDL_Cap *page_cap, CDL_ObjID pd_id, seL4_CapRights_t rights, seL4_Word vaddr) argument [all...] |
/seL4-camkes-master/kernel/src/drivers/smmu/ |
H A D | smmuv2.c | 601 void smmu_tlb_invalidate_cb_va(int cb, asid_t asid, vptr_t vaddr) argument
|
/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/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/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
|