| /seL4-refos-master/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-refos-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-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 | 48 uart_handle_irq(ps_chardevice_t* d UNUSED)
52 int uart_putchar(ps_chardevice_t* d, int c)
60 int uart_getchar(ps_chardevice_t* d UNUSED)
68 ps_chardevice_t* 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);
|
| /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/include/platsupport/ |
| H A D | chardev.h | 18 typedef struct ps_chardevice ps_chardevice_t; typedef in typeref:struct:ps_chardevice
33 typedef void (*chardev_callback_t)(ps_chardevice_t* device, enum chardev_status stat, size_t bytes_transfered, void* token);
53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token);
54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token);
55 void (*handle_irq)(ps_chardevice_t* device);
77 ps_chardevice_t* ps_cdev_init(enum chardev_id id,
79 ps_chardevice_t* dev);
88 ps_chardevice_t* ps_cdev_static_init(const ps_io_ops_t *ops,
89 ps_chardevice_t* dev,
98 ps_chardevice_t* ps_cdev_ne
[all...] |
| H A D | serial.h | 43 ps_chardevice_t* dev);
52 int serial_configure(ps_chardevice_t* dev,
|
| /seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | chardev.h | 18 typedef struct ps_chardevice ps_chardevice_t; typedef in typeref:struct:ps_chardevice
33 typedef void (*chardev_callback_t)(ps_chardevice_t* device, enum chardev_status stat, size_t bytes_transfered, void* token);
53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token);
54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token);
55 void (*handle_irq)(ps_chardevice_t* device);
77 ps_chardevice_t* ps_cdev_init(enum chardev_id id,
79 ps_chardevice_t* dev);
88 ps_chardevice_t* ps_cdev_static_init(const ps_io_ops_t *ops,
89 ps_chardevice_t* dev,
98 ps_chardevice_t* ps_cdev_ne
[all...] |
| H A D | serial.h | 43 ps_chardevice_t* dev);
52 int serial_configure(ps_chardevice_t* dev,
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | chardev.h | 43 ps_chardevice_t *dev);
48 ps_chardevice_t *dev);
51 ps_chardevice_t *dev,
58 ps_chardevice_t *dev,
65 ps_chardevice_t *dev);
68 ps_chardevice_t *dev,
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | chardev.h | 43 ps_chardevice_t *dev);
48 ps_chardevice_t *dev);
51 ps_chardevice_t *dev,
58 ps_chardevice_t *dev,
65 ps_chardevice_t *dev);
68 ps_chardevice_t *dev,
|
| /seL4-refos-master/libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
| H A D | serial.h | 47 clk_t* clk_src, ps_chardevice_t* dev);
52 void exynos_handle_rx_irq(ps_chardevice_t *d);
57 void exynos_handle_tx_irq(ps_chardevice_t *d);
63 int exynos_check_irq(ps_chardevice_t *d);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/mach_include/exynos/platsupport/mach/ |
| H A D | serial.h | 47 clk_t* clk_src, ps_chardevice_t* dev);
52 void exynos_handle_rx_irq(ps_chardevice_t *d);
57 void exynos_handle_tx_irq(ps_chardevice_t *d);
63 int exynos_check_irq(ps_chardevice_t *d);
|
| /seL4-refos-master/libs/libplatsupport/src/plat/spike/ |
| H A D | serial.c | 20 ps_chardevice_t* dev)
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/spike/ |
| H A D | serial.c | 20 ps_chardevice_t* dev)
|
| /seL4-refos-master/libs/libplatsupport/src/plat/ariane/ |
| H A D | serial.c | 20 ps_chardevice_t *dev)
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/ariane/ |
| H A D | serial.c | 20 ps_chardevice_t *dev)
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rocketchip/ |
| H A D | serial.c | 20 ps_chardevice_t *dev)
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rocketchip/ |
| H A D | serial.c | 20 ps_chardevice_t *dev)
|
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 29 int uart_getchar(ps_chardevice_t *d)
39 int uart_putchar(ps_chardevice_t* d, int c)
53 uart_handle_irq(ps_chardevice_t* d UNUSED)
60 ps_chardevice_t* dev)
|
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 33 uart_handle_irq(ps_chardevice_t* d UNUSED)
37 int uart_putchar(ps_chardevice_t* d, int c)
49 int uart_getchar(ps_chardevice_t* d UNUSED)
56 ps_chardevice_t* dev)
|