Searched refs:io (Results 1 - 25 of 281) sorted by relevance

1234567891011>>

/seL4-refos-master/libs/libplatsupport/plat_include/imx8m/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx8m/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/libs/libplatsupport/plat_include/rockpro64/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/libs/libmuslc/src/linux/
H A Diopl.c4 #include <sys/io.h>
H A Dioperm.c4 #include <sys/io.h>
/seL4-refos-master/libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/libs/libplatsupport/plat_include/imx7/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx6/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/projects/util_libs/libplatsupport/plat_include/imx7/platsupport/plat/
H A Di2c.h15 #include <platsupport/io.h>
/seL4-refos-master/libs/libsel4platsupport/src/arch/arm/
H A Dio_port_ops.c14 #include <platsupport/io.h>
15 #include <sel4platsupport/io.h>
16 #include <sel4platsupport/arch/io.h>
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/
H A Dio_port_ops.c14 #include <platsupport/io.h>
15 #include <sel4platsupport/io.h>
16 #include <sel4platsupport/arch/io.h>
/seL4-refos-master/libs/librefos/src/refos-util/
H A Ddevice_io.c50 dev_io_ops_t *io = (dev_io_ops_t *) cookie; local
51 assert(io && io->magic == DEVICE_IO_TABLE_MAGIC);
71 chash_set(&io->MMIOMappings, (uint32_t) deviceMapping->vaddr, (chash_item_t) deviceMapping);
95 dev_io_ops_t *io = (dev_io_ops_t *) cookie; local
96 assert(io && io->magic == DEVICE_IO_TABLE_MAGIC);
100 chash_get(&io->MMIOMappings, (uint32_t) vaddr);
113 chash_remove(&io->MMIOMappings, (uint32_t) vaddr);
121 dev_io_ops_t *io local
164 dev_io_ops_t *io = (dev_io_ops_t *) cookie; local
224 devio_init(dev_io_ops_t *io) argument
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Ddevice_io.c50 dev_io_ops_t *io = (dev_io_ops_t *) cookie; local
51 assert(io && io->magic == DEVICE_IO_TABLE_MAGIC);
71 chash_set(&io->MMIOMappings, (uint32_t) deviceMapping->vaddr, (chash_item_t) deviceMapping);
95 dev_io_ops_t *io = (dev_io_ops_t *) cookie; local
96 assert(io && io->magic == DEVICE_IO_TABLE_MAGIC);
100 chash_get(&io->MMIOMappings, (uint32_t) vaddr);
113 chash_remove(&io->MMIOMappings, (uint32_t) vaddr);
121 dev_io_ops_t *io local
164 dev_io_ops_t *io = (dev_io_ops_t *) cookie; local
224 devio_init(dev_io_ops_t *io) argument
[all...]
/seL4-refos-master/libs/libmuslc/include/sys/
H A Dio.h9 #include <bits/io.h>
/seL4-refos-master/projects/util_libs/libethdrivers/include/ethdrivers/
H A Dam335x.h16 #include <platsupport/io.h>
H A Dimx6.h15 #include <platsupport/io.h>
H A Dvirtio_pci.h15 #include <platsupport/io.h>
/seL4-refos-master/kernel/src/arch/riscv/machine/
H A Dio.c8 #include <machine/io.h>
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dplat_internal.h17 #include <platsupport/io.h>
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/
H A Dplat_internal.h17 #include <platsupport/io.h>
/seL4-refos-master/libs/libplatsupport/src/
H A Dcommon.h16 #include <platsupport/io.h>
/seL4-refos-master/projects/util_libs/libplatsupport/src/
H A Dcommon.h16 #include <platsupport/io.h>
/seL4-refos-master/kernel/include/plat/default/plat/machine/
H A Dhardware.h12 #include <machine/io.h>
/seL4-refos-master/libs/libplatsupport/src/plat/zynq7000/
H A Dxadc.h16 #include <platsupport/io.h>

Completed in 82 milliseconds

1234567891011>>