/seL4-camkes-master/projects/projects_libs/libusbdrivers/include/usb/drivers/ |
H A D | lan9730.h | 20 static inline int is_eth(usb_dev_t *dev) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/spike/ |
H A D | serial.c | 18 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument
|
/seL4-camkes-master/projects/musllibc/src/stat/ |
H A D | mknod.c | 5 int mknod(const char *path, mode_t mode, dev_t dev) argument
|
H A D | mknodat.c | 4 int mknodat(int fd, const char *path, mode_t mode, dev_t dev) argument
|
H A D | __xstat.c | 29 int __xmknod(int ver, const char *path, mode_t mode, dev_t *dev) argument 34 int __xmknodat(int ver, int fd, const char *path, mode_t mode, dev_t *dev) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/ariane/ |
H A D | serial.c | 18 uart_init(const struct dev_defn *defn, const ps_io_ops_t *ops, ps_chardevice_t *dev) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rocketchip/ |
H A D | serial.c | 18 uart_init(const struct dev_defn *defn, const ps_io_ops_t *ops, ps_chardevice_t *dev) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/zynq7000/ |
H A D | tmu.c | 41 int ps_tmu_init(enum tmu_id id, ps_io_ops_t* ops, ps_tmu_t* dev) { argument
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dhcp_server.h | 20 struct pico_device *dev; member in struct:pico_dhcp_server_setting
|
H A D | pico_dev_loop.c | 19 static int pico_loop_send(struct pico_device *dev, void *buf, int len) argument 34 static int pico_loop_poll(struct pico_device *dev, int loop_score) argument
|
H A D | pico_dev_mock.h | 21 struct pico_device*dev; member in struct:mock_device
|
H A D | pico_dev_null.c | 14 struct pico_device dev; member in struct:pico_device_null 20 static int pico_null_send(struct pico_device *dev, void *buf, int len) argument 32 static int pico_null_poll(struct pico_device *dev, int loop_score) argument
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/ |
H A D | driver.c | 27 static int init_device(struct elfloader_device *dev) argument
|
/seL4-camkes-master/tools/seL4/elfloader-tool/src/drivers/smp/ |
H A D | common.c | 19 void smp_register_handler(struct elfloader_device *dev) argument
|
/seL4-camkes-master/kernel/include/arch/x86/arch/object/ |
H A D | iospace.h | 19 static inline int vtd_get_root_index(dev_id_t dev) argument 24 static inline int vtd_get_context_index(dev_id_t dev) argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | chardev.h | 28 chardev_map( const struct dev_defn *dev, const ps_io_ops_t *ops) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/plat/exynos4/ |
H A D | sdio.c | 30 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev) argument
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/plat/imx6/ |
H A D | sdio.c | 29 int sdio_init(enum sdio_id id, ps_io_ops_t *io_ops, sdio_host_dev_t *dev) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | device.c | 44 struct device *dev = NULL; local
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | serial.c | 47 static void uart_handle_irq(ps_chardevice_t *dev) argument 52 uart_init(const struct dev_defn *defn, const ps_io_ops_t *ops, ps_chardevice_t *dev) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | chardev.c | 68 ps_cdev_init(enum chardev_id id, const ps_io_ops_t* io_ops, struct ps_chardevice* dev) { argument
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_module_eth.h | 19 struct pico_device *dev; member in struct:pico_eth_link
|
/seL4-camkes-master/projects/picotcp/test/examples/ |
H A D | dhcp_client.c | 67 struct pico_device *dev = NULL; local
|
H A D | dhcp_server.c | 14 struct pico_device *dev = NULL; local
|
H A D | slaacv4.c | 50 struct pico_device *dev = NULL; local
|