/seL4-refos-master/libs/libmuslc/include/net/ |
H A D | if_arp.h | 129 unsigned long dev; member in struct:arpd_request
|
/seL4-refos-master/libs/libmuslc/ldso/ |
H A D | dynlink.c | 63 dev_t dev; member in struct:dso
|
/seL4-refos-master/libs/libmuslc/src/misc/ |
H A D | nftw.c | 14 dev_t dev; member in struct:history
|
/seL4-refos-master/libs/libmuslc/src/stat/ |
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
|
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
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
H A D | dma330.c | 493 struct dma330_dev* dev; local [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/exynos/ |
H A D | pmic_rtc.c | 51 id_valid(pmic_rtc_t* dev, int id) argument 57 pmic_rtc_reg_read(pmic_rtc_t* dev, uint8_t reg, void* data, int count) argument 63 pmic_rtc_reg_write(pmic_rtc_t* dev, uint8_t reg, const void* data, int count) argument 69 pmic_rtc_update(pmic_rtc_t* dev, uint8_t flag) argument 85 pmic_rtc_set_tval(pmic_rtc_t* dev, int base, const struct rtc_time* time) argument 93 pmic_rtc_get_tval(pmic_rtc_t* dev, int base, struct rtc_time* time) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/nvidia/ |
H A D | serial.c | 655 tk1_uart_init_common(const struct dev_defn *defn, void *const uart_mmio_vaddr, ps_chardevice_t *dev) argument 744 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/mach/zynq/ |
H A D | axi_uartlite.c | 129 int axi_uartlite_init(void* vaddr, ps_chardevice_t* dev) argument 149 axi_uartlite_init_defn(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
H A D | serial.c | 58 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
H A D | serial.c | 54 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
H A D | serial.c | 66 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/exynos4/ |
H A D | src.c | 57 sysreg_usbphy_enable(src_dev_t* dev) argument 73 sysreg_swrst_enable(src_dev_t* dev) argument 88 reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id id) argument 103 reset_controller_init(enum src_id id, ps_io_ops_t* ops, src_dev_t* dev) argument
|
/seL4-refos-master/libs/libplatsupport/src/plat/fvp/ |
H A D | serial.c | 54 uart_handle_irq(ps_chardevice_t* dev) argument 59 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/ |
H A D | serial.c | 51 uart_handle_irq(ps_chardevice_t* dev) argument 56 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
H A D | serial.c | 73 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/ |
H A D | src.c | 53 reset_controller_assert_reset(src_dev_t* dev, enum src_rst_id id) argument 74 reset_controller_init(enum src_id id, ps_io_ops_t* ops, src_dev_t* dev) argument
|
/seL4-refos-master/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-refos-master/libs/libplatsupport/src/plat/omap3/ |
H A D | serial.c | 58 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/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
|
H A D | ega.c | 135 text_ega_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
H A D | keyboard_chardev.c | 70 keyboard_cdev_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
H A D | serial.c | 106 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |
/seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
H A D | serial.c | 58 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument [all...] |