| /seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.h | 15 int uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, struct ps_chardevice* dev);
|
| /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | serial.h | 15 int uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
|
| H A D | serial.c | 66 int uart_init(const struct dev_defn* defn, argument
71 void* vaddr = chardev_map(defn, ops);
78 dev->id = defn->id;
83 dev->irqs = defn->irqs;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
| H A D | serial.h | 15 int uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, struct ps_chardevice* dev);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | serial.h | 15 int uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
|
| H A D | serial.c | 66 int uart_init(const struct dev_defn* defn, argument
71 void* vaddr = chardev_map(defn, ops);
78 dev->id = defn->id;
83 dev->irqs = defn->irqs;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | ega.h | 16 int text_ega_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
|
| H A D | keyboard_chardev.h | 20 keyboard_cdev_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | ega.h | 16 int text_ega_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
|
| H A D | keyboard_chardev.h | 20 keyboard_cdev_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
|
| /seL4-refos-master/libs/libplatsupport/src/plat/spike/ |
| H A D | serial.c | 18 int uart_init(const struct dev_defn* defn, argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/spike/ |
| H A D | serial.c | 18 int uart_init(const struct dev_defn* defn, argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/ariane/ |
| H A D | serial.c | 18 int uart_init(const struct dev_defn *defn, argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/ariane/ |
| H A D | serial.c | 18 int uart_init(const struct dev_defn *defn, argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rocketchip/ |
| H A D | serial.c | 18 int uart_init(const struct dev_defn *defn, argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rocketchip/ |
| H A D | serial.c | 18 int uart_init(const struct dev_defn *defn, argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/odroidc2/ |
| H A D | serial.c | 52 int uart_init(const struct dev_defn *defn, argument
57 char *page_vaddr = chardev_map(defn, ops);
63 switch (defn->id) {
82 dev->id = defn->id;
87 dev->irqs = defn->irqs;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
| H A D | serial.c | 52 int uart_init(const struct dev_defn *defn, argument
57 char *page_vaddr = chardev_map(defn, ops);
63 switch (defn->id) {
82 dev->id = defn->id;
87 dev->irqs = defn->irqs;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 58 int uart_init(const struct dev_defn* defn, argument
63 void* vaddr = chardev_map(defn, ops);
69 dev->id = defn->id;
74 dev->irqs = defn->irqs;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 54 int uart_init(const struct dev_defn* defn, argument
59 void* vaddr = chardev_map(defn, ops);
66 dev->id = defn->id;
71 dev->irqs = defn->irqs;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
| H A D | serial.c | 59 int uart_init(const struct dev_defn* defn, argument
64 void* vaddr = chardev_map(defn, ops);
70 dev->id = defn->id;
75 dev->irqs = defn->irqs;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
| H A D | serial.c | 56 int uart_init(const struct dev_defn* defn, argument
61 void* vaddr = chardev_map(defn, ops);
67 dev->id = defn->id;
72 dev->irqs = defn->irqs;
|
| /seL4-refos-master/libs/libplatsupport/src/plat/omap3/ |
| H A D | serial.c | 58 uart_init(const struct dev_defn* defn, argument
62 void* vaddr = chardev_map(defn, ops);
67 dev->id = defn->id;
72 dev->irqs = defn->irqs;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 58 int uart_init(const struct dev_defn* defn, argument
63 void* vaddr = chardev_map(defn, ops);
69 dev->id = defn->id;
74 dev->irqs = defn->irqs;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 54 int uart_init(const struct dev_defn* defn, argument
59 void* vaddr = chardev_map(defn, ops);
66 dev->id = defn->id;
71 dev->irqs = defn->irqs;
|