Searched refs:chardev_map (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dchardev.h28 static inline void *chardev_map( function
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dserial.c63 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/
H A Dserial.c59 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dserial.c71 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dserial.c64 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dserial.c61 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/
H A Dserial.c57 char *page_vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/
H A Dserial.c62 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/
H A Dserial.c63 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dserial.c63 void *vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/
H A Dserial.c78 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Duart.c91 void* vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/
H A Daxi_uartlite.c154 void *vaddr = chardev_map(defn, ops);
H A Dserial.c516 void *vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dega.c142 base_ptr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/polarfire/
H A Duart.c74 void *vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/serial/
H A Dserial.c230 void *vaddr = chardev_map(defn, ops);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dserial.c753 vaddr = chardev_map(defn, ops);

Completed in 108 milliseconds