/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
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/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...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | tmu.c | 94 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 D | intc.c | 101 void* vaddr[4]; local [all...] |
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | mmap.c | 125 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 D | elf.c | 497 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 D | bootstrap.c | 104 void *vaddr = (void *)data->next_bootstrap_vaddr; local
|
H A D | vspace.c | 127 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 D | breakpoint.c | 368 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 D | vspace_32paging.c | 218 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 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/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ltimer.c | 472 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 D | serial.c | 230 void *vaddr = chardev_map(defn, ops); local
|
/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/libsel4vm/src/ |
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_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 35 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 D | ept.c | 225 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 D | vspace.c | 759 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 D | gpt.c | 353 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 D | gpio.c | 452 int gpio_init(volatile void *vaddr, gpio_sys_t *gpio_sys) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | io.h | 90 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 D | smmuv2.c | 601 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 D | serial.c | 748 static void *vaddr = 0; local
|
/seL4-camkes-master/kernel/src/arch/arm/machine/ |
H A D | debug.c | 938 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 D | machine.h | 363 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...] |