| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.c | 481 chardevice_init(ps_chardevice_t *dev, void *vaddr, const int *irqs) argument
495 exynos_serial_init(enum chardev_id id, void *vaddr, mux_sys_t *mux_sys, clk_t *clk_src, ps_chardevice_t *dev) argument
536 void *vaddr; local
577 void *vaddr = serial_params->vaddr; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
| H A D | serial.c | 516 void *vaddr = chardev_map(defn, ops); local
417 zynq_uart_dev_init( ps_chardevice_t *dev, const ps_io_ops_t *ops, enum chardev_id id, void *vaddr, const int *irqs) argument
484 uart_static_init( void *vaddr, const ps_io_ops_t *ops, ps_chardevice_t *dev) argument
[all...] |
| /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/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/kernel/src/object/ |
| H A D | tcb.c | 572 word_t vaddr, type, size, rw; local
560 invokeSetBreakpoint(tcb_t *tcb, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) 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/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/projects/util_libs/libplatsupport/src/plat/tk1/ |
| H A D | i2c.c | 1359 tegra_i2c_init(int controller_id, void *vaddr, ps_io_ops_t *io_ops, argument
1402 void *vaddr; local
[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...] |