Searched defs:vaddr (Results 76 - 100 of 109) sorted by relevance

12345

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/
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/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...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dtmu.c94 do_exynos_tmu_init(enum tmu_id id, void* vaddr, tmu_t* tmu) argument
151 exynos4_tmu_init(enum tmu_id id, void* vaddr, tmu_t* tmu) argument
157 exynos5_tmu_init(enum tmu_id id, void* vaddr, tmu_t* tmu) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dintc.c101 void* vaddr[4]; local
[all...]
/seL4-camkes-master/tools/riscv-pk/pk/
H A Dmmap.c125 static int __va_avail(uintptr_t vaddr) argument
159 int __valid_user_range(uintptr_t vaddr, size_t len) argument
166 static int __handle_page_fault(uintptr_t vaddr, int prot) argument
204 handle_page_fault(uintptr_t vaddr, int prot) argument
369 __map_kernel_range(uintptr_t vaddr, uintptr_t paddr, size_t len, int prot) argument
[all...]
/seL4-camkes-master/projects/util_libs/libelf/src/
H A Delf.c497 int elf_vaddrInProgramHeader(elf_t *elfFile, size_t ph, uintptr_t vaddr) argument
508 uintptr_t elf_vtopProgramHeader(elf_t *elfFile, size_t ph, uintptr_t vaddr) argument
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c104 void *vaddr = (void *)data->next_bootstrap_vaddr; local
H A Dvspace.c127 static void perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, argument
148 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
171 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
206 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
229 map_page(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, int cacheable, size_t size_bits) argument
236 find_reserve(sel4utils_alloc_data_t *data, uintptr_t vaddr) argument
288 map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable) argument
306 new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, int cacheable, bool can_use_dev) argument
344 sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
424 sel4utils_get_cap(vspace_t *vspace, void *vaddr) argument
435 sel4utils_get_cookie(vspace_t *vspace, void *vaddr) argument
441 sel4utils_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument
491 sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation, bool can_use_dev) argument
545 void *vaddr = find_range(data, BYTES_TO_SIZE_BITS_PAGES(size, size_bits), size_bits); local
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
610 sel4utils_reserve_range_at(vspace_t *vspace, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
633 sel4utils_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t size, int cacheable) argument
654 sel4utils_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr) argument
662 sel4utils_move_resize_reservation(vspace_t *vspace, reservation_t reservation, void *vaddr, size_t bytes) argument
730 free_page(vspace_t *vspace, vka_t *vka, uintptr_t vaddr) argument
748 free_pages_at_level(vspace_t *vspace, vka_t *vka, int table_level, uintptr_t vaddr) argument
823 sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t reservation) argument
888 sel4utils_get_paddr(vspace_t *vspace, void *vaddr, seL4_Word type, seL4_Word size_bits) argument
[all...]
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c368 static void setBpVaddrContext(tcb_t *t, uint16_t bp_num, word_t vaddr) argument
402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
553 word_t vaddr, reason; member in struct:__anon111
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c218 void unmapPageDirectory(asid_t asid, vptr_t vaddr, pde_t *pd) argument
255 word_t vaddr; local
315 static readWordFromVSpace_ret_t readWordFromVSpace(vspace_root_t *vspace, word_t vaddr) argument
[all...]
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/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dltimer.c472 void *vaddr = ps_pmem_map(&ops, region, false, PS_MEM_NORMAL); local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/serial/
H A Dserial.c230 void *vaddr = chardev_map(defn, ops); local
/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/libsel4vm/src/
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_libs/libsel4vspace/include/vspace/
H A Dvspace.h35 void *vaddr; member in struct:vspace_new_pages_config
73 static inline int vspace_new_pages_config_set_vaddr(void *vaddr, vspace_new_pages_config_t *config) argument
594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
670 vspace_unmap_pages(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, vka_t *vka) argument
710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument
738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
761 vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t bytes, int cacheable) argument
798 vspace_free_reservation_by_vaddr(vspace_t *vspace, void *vaddr) argument
813 vspace_get_cap(vspace_t *vspace, void *vaddr) argument
833 vspace_get_cookie(vspace_t *vspace, void *vaddr) argument
879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument
[all...]
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c225 void unmapEPTPDPT(asid_t asid, vptr_t vaddr, ept_pdpte_t *pdpt) argument
271 word_t vaddr; local
388 EPTPageDirectoryMapped_ret_t EPTPageDirectoryMapped(asid_t asid, vptr_t vaddr, ept_pde_t *pd) argument
424 unmapEPTPageDirectory(asid_t asid, vptr_t vaddr, ept_pde_t *pd) argument
476 word_t vaddr; local
577 EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt) argument
613 unmapEPTPageTable(asid_t asid, vptr_t vaddr, ept_pte_t *pt) argument
664 word_t vaddr; local
798 word_t vaddr; local
[all...]
H A Dvspace.c759 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt) argument
863 static create_mapping_pte_return_t createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument
892 static create_mapping_pde_return_t createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument
935 word_t vaddr; local
1140 word_t vaddr; local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c353 void *vaddr = ps_pmem_map(&gpt->ops, pmem, false, PS_MEM_NORMAL); local
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Dgpio.c452 int gpio_init(volatile void *vaddr, gpio_sys_t *gpio_sys) argument
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dio.h90 ps_io_unmap( const ps_io_mapper_t *io_mapper, void *vaddr, size_t size) argument
/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/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dserial.c748 static void *vaddr = 0; local
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c938 static int getAndResetActiveBreakpoint(word_t vaddr, word_t reason) argument
529 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
[all...]
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/
H A Dmachine.h363 static inline void cleanByVA(vptr_t vaddr, paddr_t paddr) argument
379 static inline void cleanByVA_PoU(vptr_t vaddr, paddr_t paddr) argument
405 invalidateByVA(vptr_t vaddr, paddr_t paddr) argument
418 invalidateByVA_I(vptr_t vaddr, paddr_t paddr) argument
441 cleanInvalByVA(vptr_t vaddr, paddr_t paddr) argument
456 branchFlush(vptr_t vaddr, paddr_t paddr) argument
[all...]

Completed in 327 milliseconds

12345