Searched refs:vaddr (Results 1 - 25 of 171) sorted by relevance

1234567

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Daxi_uartlite.h13 int axi_uartlite_init(void* vaddr, ps_chardevice_t *dev);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dserial.c35 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 Dserial.c32 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 Drtc.c46 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 Dserial.c35 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 Dtlb.c11 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 Dserial.c33 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 Dserial.c33 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 Dserial.c54 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 Dserial.c35 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 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
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 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
15 return sel4utils_map_page_ept(vspace, cap, vaddr, rights, cacheable, size_bits);
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dpmem.h41 * @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 Dintc.c101 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 Dserial.c39 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 DELF.py102 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 Dserial.c44 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 Dvspace.h33 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 Dmapping.h20 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 Dhpet.h24 /* 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 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
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 Dmachine_pl2.h38 static inline paddr_t addressTranslateS1CPR(vptr_t vaddr) argument
40 return vaddr;
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/exynos5/
H A Dsysreg.c48 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 Dvspace.c51 /* 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 Dvspace.c20 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...]

Completed in 282 milliseconds

1234567