Searched defs:vaddr (Results 1 - 25 of 109) sorted by last modified time

12345

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c86 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 Dvirtio_net_emul.c22 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 Dvirtio_emul_helpers.c12 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 Dguest_boot_init.c41 static int make_guest_cmd_line_continued(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, argument
H A Dguest_image.c45 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 Dacpi.c55 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 Dguest_image.c135 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 Dguest_vspace.c35 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 Dguest_ram.c128 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 Dguest_vspace_arch.h12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
H A Dboot.c45 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 Dguest_vspace_arch.h12 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 Dguest_memory.h39 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 Ddma.c405 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 Ddma.h27 uintptr_t vaddr; member in struct:dma_mem_descriptor
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c50 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 Delf.c228 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 Dvspace.c647 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 Dvspace.c209 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 Dvspace.c155 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 Dmain.c183 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 Dsmmuv2.c601 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 Dsmmu.c392 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 Dmapping.c16 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 Dmapping.h25 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

Completed in 452 milliseconds

12345