/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/ |
H A D | axi_uartlite.h | 13 int axi_uartlite_init(void* vaddr, ps_chardevice_t *dev);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | serial.c | 35 if ((*REG_PTR(d->vaddr, UARTFR) & PL011_UARTFR_RXFE) == 0) { 36 ch = *REG_PTR(d->vaddr, UARTDR) & RHR_MASK; 43 while ((*REG_PTR(d->vaddr, UARTFR) & PL011_UARTFR_TXFF) != 0); 45 *REG_PTR(d->vaddr, UARTDR) = c; 56 *REG_PTR(dev->vaddr, UARTICR) = 0x7f0; 64 void* vaddr = chardev_map(defn, ops); local 65 if (vaddr == NULL) { 71 dev->vaddr = (void*)vaddr; 79 *REG_PTR(dev->vaddr, UARTIMS [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | serial.c | 32 if ((*REG_PTR(d->vaddr, UARTFR) & PL011_UARTFR_RXFE) == 0) { 33 ch = *REG_PTR(d->vaddr, UARTDR) & RHR_MASK; 40 while ((*REG_PTR(d->vaddr, UARTFR) & PL011_UARTFR_TXFF) != 0); 42 *REG_PTR(d->vaddr, UARTDR) = c; 53 *REG_PTR(dev->vaddr, UARTICR) = 0x7f0; 61 void* vaddr = chardev_map(defn, ops); local 62 if (vaddr == NULL) { 68 dev->vaddr = (void*)vaddr; 76 *REG_PTR(dev->vaddr, UARTIMS [all...] |
H A D | rtc.c | 46 assert(rtc->vaddr != NULL); 47 return rtc->vaddr; 84 if (config.vaddr == NULL) { 89 rtc->vaddr = config.vaddr;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | serial.c | 35 if ((*REG_PTR(d->vaddr, UARTFR) & PL011_UARTFR_RXFE) == 0) { 36 ch = *REG_PTR(d->vaddr, UARTDR) & RHR_MASK; 43 while ((*REG_PTR(d->vaddr, UARTFR) & PL011_UARTFR_TXFF) != 0); 45 *REG_PTR(d->vaddr, UARTDR) = c; 55 *REG_PTR(dev->vaddr, UARTICR) = 0x7f0; 63 void *vaddr = chardev_map(defn, ops); local 64 if (vaddr == NULL) { 70 dev->vaddr = (void *)vaddr; 78 *REG_PTR(dev->vaddr, UARTIMS [all...] |
/seL4-camkes-master/kernel/src/arch/arm/armv/armv7-a/ |
H A D | tlb.c | 11 void lockTLBEntry(vptr_t vaddr) argument 18 void lockTLBEntry(vptr_t vaddr) argument 49 lockTLBEntryCritical(vaddr, x, y);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | serial.c | 33 if (*REG_PTR(d->vaddr, LSR) & LSR_RXFIFOE) { 34 ch = *REG_PTR(d->vaddr, RHR) & RHR_MASK; 41 while (!(*REG_PTR(d->vaddr, LSR) & LSR_TXFIFOE)) { 44 *REG_PTR(d->vaddr, THR) = c; 63 void* vaddr = chardev_map(defn, ops); local 64 if (vaddr == NULL) { 70 dev->vaddr = (void*)vaddr; 78 *REG_PTR(dev->vaddr, IER) = IER_RHRIT;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | serial.c | 33 if (*REG_PTR(d->vaddr, LSR) & LSR_RXFIFOE) { 34 ch = *REG_PTR(d->vaddr, RHR) & RHR_MASK; 41 while (!(*REG_PTR(d->vaddr, LSR) & LSR_TXFIFOE)) { 44 *REG_PTR(d->vaddr, THR) = c; 63 void* vaddr = chardev_map(defn, ops); local 64 if (vaddr == NULL) { 70 dev->vaddr = (void*)vaddr; 78 *REG_PTR(dev->vaddr, IER) = IER_RHRIT;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | serial.c | 54 while ( !(*REG_PTR(d->vaddr, MU_LSR) & MU_LSR_TXIDLE) ); 55 *REG_PTR(d->vaddr, MU_IO) = (c & 0xff); 62 while ( !(*REG_PTR(d->vaddr, MU_LSR) & MU_LSR_DATAREADY) ); 63 return *REG_PTR(d->vaddr, MU_IO); 71 void* vaddr = chardev_map(defn, ops); local 73 if (vaddr == NULL) { 79 dev->vaddr = (void*)vaddr;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | serial.c | 35 if (*REG_PTR(d->vaddr, IMXUART_LSR) & IMXUART_LSR_RXFIFIOE) { 36 return *REG_PTR(d->vaddr, IMXUART_RHR); 44 if (*REG_PTR(d->vaddr, IMXUART_LSR) & IMXUART_LSR_TXFIFOE) { 45 *REG_PTR(d->vaddr, IMXUART_THR) = c; 62 void* vaddr = chardev_map(defn, ops); local 64 if (vaddr == NULL) { 68 dev->vaddr = vaddr;
|
/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 15 return sel4utils_map_page_pd(vspace, cap, vaddr, rights, cacheable, size_bits);
|
/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 15 return sel4utils_map_page_ept(vspace, cap, vaddr, rights, cacheable, size_bits);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | pmem.h | 41 * @return vaddr the pmem is mapped to, NULL on failure. 45 void *vaddr = ps_io_map(&ops->io_mapper, region.base_addr, region.length, cached, flags); local 46 if (vaddr == NULL) { 49 return vaddr; 57 * @param vaddr the pmem_region is mapped to, 60 static inline void ps_pmem_unmap(ps_io_ops_t *ops, pmem_region_t region, void *vaddr) { argument 61 ps_io_unmap(&ops->io_mapper, vaddr, region.length);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | intc.c | 101 void* vaddr[4]; local 104 vaddr[0] = ps_io_map(&o->io_mapper, INTCTL0, 0x1000, 0, PS_MEM_NORMAL); 105 vaddr[1] = ps_io_map(&o->io_mapper, INTCTL2, 0x1000, 0, PS_MEM_NORMAL); 106 vaddr[2] = ps_io_map(&o->io_mapper, INTCTL3, 0x1000, 0, PS_MEM_NORMAL); 107 vaddr[3] = ps_io_map(&o->io_mapper, INTCTL4, 0x1000, 0, PS_MEM_NORMAL); 108 assert(vaddr[0]); 109 assert(vaddr[1]); 110 assert(vaddr[2]); 111 assert(vaddr[3]); 112 intctl[0] = (intctl_t*)((uintptr_t)vaddr[ [all...] |
H A D | serial.c | 39 while (!(*UART_REG(d->vaddr, USR) & USR_TXEMP)); 41 *UART_REG(d->vaddr, UNTX) = 1; 42 *UART_REG(d->vaddr, UTF) = c & 0xff; 59 void* vaddr = chardev_map(defn, ops); local 61 if (vaddr == NULL) { 67 dev->vaddr = (void*)vaddr;
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | ELF.py | 102 for (vaddr, sizes, caps) in regions: 104 assert vaddr % size == 0, "vaddr: 0x%x is not aligned to frame_size: 0x%x" % ( 105 vaddr, size) 106 vaddr += size 113 for (vaddr, sizes, caps) in regions: 115 if vaddr >= (seg_end) or (vaddr+size) < seg_start: 118 assert vaddr >= seg_start and ( 119 vaddr [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 44 if (*REG_PTR(d->vaddr, IMXUART_LSR) & IMXUART_LSR_RXFIFIOE) { 45 data = *REG_PTR(d->vaddr, IMXUART_RHR); 56 if (*REG_PTR(d->vaddr, IMXUART_LSR) & IMXUART_LSR_TXFIFOE) { 57 *REG_PTR(d->vaddr, IMXUART_THR) = c; 78 void* vaddr = chardev_map(defn, ops); local 80 if (vaddr == NULL) { 84 dev->vaddr = vaddr; 95 *REG_PTR(dev->vaddr, IMXUART_UCR1) |= IMXUART_LSR_RXFIFIOE;
|
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 33 address. If vaddr is not `NULL` than the mapping will be at 35 void *vaddr; member in struct:vspace_new_pages_config 60 config->vaddr = NULL; 68 * Set vaddr of the config 69 * @param vaddr vaddr to set. See documentation on vspace_new_pages_config_t. 73 static inline int vspace_new_pages_config_set_vaddr(void *vaddr, vspace_new_pages_config_t *config) argument 75 config->vaddr = vaddr; 102 * @param vaddr th 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...] |
H A D | mapping.h | 20 typedef seL4_Error(*vspace_map_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr, 22 typedef seL4_Error(*vspace_map_page_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr, 25 static inline seL4_Error vspace_iospace_map_page(seL4_CPtr cap, seL4_CPtr root, seL4_Word vaddr, argument 29 return seL4_ARCH_Page_MapIO(cap, root, rights, vaddr); 63 seL4_CPtr vspace, seL4_Word vaddr, seL4_Word attr) 67 return obj->map_fn(cap, vspace, vaddr, attr); 62 vspace_map_obj(vspace_map_obj_t *obj, seL4_CPtr cap, seL4_CPtr vspace, seL4_Word vaddr, seL4_Word attr) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/ |
H A D | hpet.h | 24 /* vaddr that HPET_BASE (parsed from acpi tables) is mapped in to.*/ 25 void *vaddr; member in struct:PACKED 62 /* Queries the HPET device mapped at the provided vaddr and returns 65 bool hpet_supports_fsb_delivery(void *vaddr); 67 /* Queries the HPET device mapped at the provided vaddr and returns 69 uint32_t hpet_ioapic_irq_delivery_mask(void *vaddr); 71 /* Queries the HPET device mapped at the provided vaddr and returns 73 uint32_t hpet_level(void *vaddr);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
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 14 /* Copy memory from the guest (vaddr) to our given memory destination (cookie) */ 15 memcpy(cookie + offset, vaddr, size); 19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument 21 /* Copy memory to our guest (vaddr) from our given memory location (cookie) */ 22 memcpy(vaddr, cookie + offset, size);
|
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/ |
H A D | machine_pl2.h | 38 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr) argument 40 return vaddr;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/ |
H A D | sysreg.c | 48 void *vaddr; local 49 vaddr = ps_io_map(&ops->io_mapper, 52 sysreg->sysreg_vaddr[i] = vaddr; 57 void *vaddr; local 58 vaddr = ps_io_map(&ops->io_mapper, 62 sysreg->pwrreg_vaddr[i] = vaddr;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 51 /* check that vaddr is actually in the reservation */ 127 static void perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, argument 133 reservation->start = ROUND_DOWN(vaddr, PAGE_SIZE_4K); 134 reservation->end = ROUND_UP(vaddr + bytes, PAGE_SIZE_4K); 148 int sel4utils_map_page_pd(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument 155 int error = sel4utils_map_page(data->vka, data->vspace_root, cap, vaddr, 171 int sel4utils_map_page_ept(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument 180 (seL4_Word) vaddr, rights, cacheable, size_bits, &pagetable, &pagedir, &pdpt); 206 int sel4utils_map_page_iommu(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument 215 (seL4_Word) vaddr, right 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/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 20 void *vaddr = NULL; local 24 seL4_AllRights, 1, &vaddr); 31 uintptr_t stack_bottom = (uintptr_t) vaddr + PAGE_SIZE_4K; 59 void *vaddr = vspace_new_pages(vspace, seL4_AllRights, 1, seL4_PageBits); local 60 if (vaddr == NULL) { 64 *page = vspace_get_cap(vspace, vaddr); 66 return vaddr; 123 if (config->vaddr == NULL) { 126 rights, true, &config->vaddr); 128 res = vspace_reserve_range_at(vspace, config->vaddr, 148 vspace_reserve_range(vspace_t *vspace, size_t bytes, seL4_CapRights_t rights, int cacheable, void **vaddr) argument [all...] |