/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | serial.c | 50 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res); 59 error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, RBR), 1, &res); 71 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res); 88 ps_io_port_out(&device->ioops.io_port_ops, CONSOLE(io_port, THR), 1, c); 116 dev->ioops = *ops; 122 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, LCR), 1, 0x00 & ~SERIAL_DLAB) != 0) { 127 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, IER), 1, 0x00) != 0) { 132 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, LCR), 1, 0x00 | SERIAL_DLAB) != 0) { 136 if (ps_io_port_out(&dev->ioops.io_port_ops, CONSOLE(io_port, DLL), 1, 0x01) != 0) { 140 if (ps_io_port_out(&dev->ioops [all...] |
H A D | keyboard_chardev.c | 81 dev->ioops = *ops;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | virtio_con.h | 27 * @param {ps_io_ops_t} ioops Platform support io ops datastructure 33 ps_io_ops_t ioops; member in struct:virtio_con
|
H A D | virtio_net.h | 29 * @param {ps_io_ops_t} ioops Platform support ioops for dma management 36 ps_io_ops_t ioops; member in struct:virtio_net
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/ |
H A D | otg.c | 17 int usb_otg_init(int id, usb_otg_t * otg_ptr, ps_io_ops_t ioops) argument 31 otg->dman = &ioops.dma_manager; 35 err = usb_plat_otg_init(otg, &ioops);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/ |
H A D | otg.h | 30 int usb_otg_init(int id, usb_otg_t* otg, ps_io_ops_t ioops);
|
H A D | usb_host.h | 200 * @param[in] ioops a list of io operation functions. 208 int usb_host_init(enum usb_host_id id, ps_io_ops_t* ioops, ps_mutex_ops_t *sync, usb_host_t* hdev);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/ |
H A D | usb_otg.h | 43 * @param[in] ioops a list of io operation functions. 47 int usb_plat_otg_init(usb_otg_t odev, ps_io_ops_t* ioops);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/plat/imx6/ |
H A D | ehci-imx6.c | 309 imx6_usb_generic_init(int id, ps_io_ops_t* ioops) argument 319 _usb_regs = GET_RESOURCE(ioops, USB); 333 phy_enable(id, ioops); 339 usb_host_init(enum usb_host_id id, ps_io_ops_t* ioops, ps_mutex_ops_t *sync, argument 348 if (!ioops || !hdev) { 353 hdev->dman = &ioops->dma_manager; 356 err = imx6_usb_generic_init(hdev->id, ioops); 385 usb_plat_otg_init(usb_otg_t odev, ps_io_ops_t* ioops) argument 393 err = imx6_usb_generic_init(odev->id, ioops);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | serial.c | 75 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
H A D | serial.c | 72 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
H A D | serial.c | 84 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | serial.c | 76 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | serial.c | 73 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | serial.c | 88 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/omap3/ |
H A D | serial.c | 73 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | serial.c | 75 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/ |
H A D | serial.c | 75 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/pc99/ |
H A D | virtio_pci.c | 34 ps_io_port_ops_t ioops; member in struct:virtio_dev 66 ps_io_port_in(&dev->ioops, dev->io_base + port, 1, &val); 72 ps_io_port_in(&dev->ioops, dev->io_base + port, 2, &val); 78 ps_io_port_in(&dev->ioops, dev->io_base + port, 4, &val); 83 ps_io_port_out(&dev->ioops, dev->io_base + port, 1, val); 87 ps_io_port_out(&dev->ioops, dev->io_base + port, 2, val); 91 ps_io_port_out(&dev->ioops, dev->io_base + port, 4, val); 371 dev->ioops = io_ops.io_port_ops;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_con.c | 113 ps_io_ops_t ioops; local 115 con->emul = virtio_emul_init(ioops, QUEUE_SIZE, vm, emul_con_driver_init, con, VIRTIO_CONSOLE);
|
H A D | virtio_net.c | 193 ps_io_ops_t ioops; local 194 ioops.dma_manager = (ps_dma_man_t) { 204 net->emul = virtio_emul_init(ioops, QUEUE_SIZE, vm, emul_driver_init, net, VIRTIO_NET);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 89 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | uart.c | 105 dev->ioops = *ops;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 65 ps_io_ops_t ioops; member in struct:ps_chardevice
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 163 dev->ioops = *ops;
|