Searched refs:dev (Results 1 - 25 of 148) sorted by relevance

123456

/seL4-test-master/projects/util_libs/libplatsupport/mach_include/zynq/platsupport/mach/
H A Daxi_uartlite.h13 int axi_uartlite_init(void* vaddr, ps_chardevice_t *dev);
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dtx2.h20 void eqos_dma_disable_rxirq(struct tx2_eth_data *dev);
22 void eqos_dma_enable_rxirq(struct tx2_eth_data *dev);
24 void eqos_dma_disable_txirq(struct tx2_eth_data *dev);
26 void eqos_dma_enable_txirq(struct tx2_eth_data *dev);
28 void eqos_stop(struct tx2_eth_data *dev);
30 int eqos_start(struct tx2_eth_data *dev);
32 int eqos_send(struct tx2_eth_data *dev, void *packet, int length);
34 int eqos_handle_irq(struct tx2_eth_data *dev, int irq);
36 int eqos_recv(struct tx2_eth_data *dev, uintptr_t packetp);
40 void eqos_set_rx_tail_pointer(struct tx2_eth_data *dev);
[all...]
H A Dtx2.c26 static void free_desc_ring(struct tx2_eth_data *dev, ps_dma_man_t *dma_man) argument
28 if (dev->rx_ring != NULL) {
29 dma_unpin_free(dma_man, (void *)dev->rx_ring, sizeof(struct eqos_desc) * dev->rx_size);
30 dev->rx_ring = NULL;
33 if (dev->tx_ring != NULL) {
34 dma_unpin_free(dma_man, (void *)dev->tx_ring, sizeof(struct eqos_desc) * dev->tx_size);
35 dev->tx_ring = NULL;
38 if (dev
54 initialize_desc_ring(struct tx2_eth_data *dev, ps_dma_man_t *dma_man, struct eth_driver *eth_driver) argument
119 struct tx2_eth_data *dev = (struct tx2_eth_data *)driver->eth_data; local
157 struct tx2_eth_data *dev = (struct tx2_eth_data *)eth_driver->eth_data; local
186 struct tx2_eth_data *dev = (struct tx2_eth_data *)driver->eth_data; local
254 struct tx2_eth_data *dev = (struct tx2_eth_data *)driver->eth_data; local
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/am335x/
H A Dbeaglebone.c43 struct beaglebone_eth_data *dev = (struct beaglebone_eth_data*)driver->eth_data; local
47 while (dev->rx_remain > 0) {
50 int next_rdt = (dev->rdt + 1) % dev->rx_size;
55 dev->rx_cookies[dev->rdt] = cookie;
57 dev->rx_ring[dev->rdt].bufptr = phys;
58 dev->rx_ring[dev
78 free_desc_ring(struct beaglebone_eth_data *dev, ps_dma_man_t *dma_man) argument
102 initialize_desc_ring(struct beaglebone_eth_data *dev, ps_dma_man_t *dma_man) argument
163 struct beaglebone_eth_data *dev = (struct beaglebone_eth_data*)eth_driver->eth_data; local
192 struct beaglebone_eth_data *dev = (struct beaglebone_eth_data*)driver->eth_data; local
231 struct beaglebone_eth_data *dev = (struct beaglebone_eth_data*)driver->eth_data; local
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/pc99/
H A Dintel.c218 static void disable_all_interrupts(e1000_dev_t *dev) argument
220 switch (dev->family) {
222 REG_82580_IMC(dev) = ~IMC_82580_RESERVED_BITS;
225 REG_82574_IMC(dev) = ~IMC_82574_RESERVED_BITS;
230 static void reset_device(e1000_dev_t *dev) argument
233 if (dev->family == e1000_82574) {
237 REG_CTRL(dev) = val;
241 while (REG_CTRL(dev) & CTRL_RST);
244 static void set_link_up(e1000_dev_t *dev) argument
246 uint32_t temp = REG_CTRL(dev);
251 check_link_status(e1000_dev_t *dev) argument
256 configure_pba(e1000_dev_t *dev) argument
271 phy_write(e1000_dev_t *dev, int phy, int reg, uint16_t data) argument
277 phy_read(e1000_dev_t *dev, int phy, int reg) argument
285 reset_phy(e1000_dev_t *dev) argument
309 configure_flow_control(e1000_dev_t *dev) argument
327 initialize(e1000_dev_t *dev) argument
346 initialise_TXDCTL(e1000_dev_t *dev) argument
377 initialise_TCTL(e1000_dev_t *dev) argument
398 initialise_TIPG(e1000_dev_t *dev) argument
413 initialise_transmit_timers(e1000_dev_t *dev) argument
429 initialize_transmit(e1000_dev_t *dev) argument
437 initialize_RCTL(e1000_dev_t *dev) argument
456 enable_prom_mode(e1000_dev_t *dev) argument
461 initialize_RXDCTL(e1000_dev_t *dev) argument
489 initialize_receive_timers(e1000_dev_t *dev) argument
506 initialize_receive(e1000_dev_t *dev) argument
518 enable_interrupts(e1000_dev_t *dev) argument
540 read_eeprom(e1000_dev_t *dev, uint16_t reg) argument
548 eth_get_mac(e1000_dev_t *dev, uint8_t *hwaddr) argument
580 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
588 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
601 set_tx_ring(e1000_dev_t *dev, uintptr_t phys) argument
619 set_tdh(e1000_dev_t *dev, uint32_t val) argument
633 set_tdt(e1000_dev_t *dev, uint32_t val) argument
647 set_tdlen(e1000_dev_t *dev, uint32_t val) argument
663 set_rx_ring(e1000_dev_t *dev, uint64_t phys) argument
681 set_rdlen(e1000_dev_t *dev, uint32_t val) argument
697 set_rdt(e1000_dev_t *dev, uint32_t val) argument
711 read_rdh(e1000_dev_t *dev) argument
724 free_desc_ring(e1000_dev_t *dev, ps_dma_man_t *dma_man) argument
748 initialize_desc_ring(e1000_dev_t *dev, ps_dma_man_t *dma_man) argument
805 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
840 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
862 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
899 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
937 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
950 e1000_dev_t *dev = (e1000_dev_t *)driver->eth_data; local
1015 common_init(struct eth_driver *driver, ps_io_ops_t io_ops, void *config, e1000_dev_t *dev) argument
1071 e1000_dev_t *dev = malloc(sizeof(*dev)); local
1083 e1000_dev_t *dev = malloc(sizeof(*dev)); local
[all...]
H A Dvirtio_pci.c64 static uint8_t read_reg8(virtio_dev_t *dev, uint16_t port) { argument
66 ps_io_port_in(&dev->ioops, dev->io_base + port, 1, &val);
70 static uint16_t read_reg16(virtio_dev_t *dev, uint16_t port) { argument
72 ps_io_port_in(&dev->ioops, dev->io_base + port, 2, &val);
76 static uint32_t read_reg32(virtio_dev_t *dev, uint16_t port) { argument
78 ps_io_port_in(&dev->ioops, dev->io_base + port, 4, &val);
82 static void write_reg8(virtio_dev_t *dev, uint16_ argument
86 write_reg16(virtio_dev_t *dev, uint16_t port, uint16_t val) argument
90 write_reg32(virtio_dev_t *dev, uint16_t port, uint32_t val) argument
94 set_status(virtio_dev_t *dev, uint8_t status) argument
98 get_status(virtio_dev_t *dev) argument
102 add_status(virtio_dev_t *dev, uint8_t status) argument
106 get_features(virtio_dev_t *dev) argument
110 set_features(virtio_dev_t *dev, uint32_t features) argument
114 free_desc_ring(virtio_dev_t *dev, ps_dma_man_t *dma_man) argument
137 initialize_desc_ring(virtio_dev_t *dev, ps_dma_man_t *dma_man) argument
175 initialize(virtio_dev_t *dev, ps_dma_man_t *dma_man) argument
211 get_mac(virtio_dev_t *dev, uint8_t *mac) argument
219 virtio_dev_t *dev = (virtio_dev_t*)driver->eth_data; local
228 virtio_dev_t *dev = (virtio_dev_t*)driver->eth_data; local
246 virtio_dev_t *dev = (virtio_dev_t*)driver->eth_data; local
281 virtio_dev_t *dev = (virtio_dev_t*)driver->eth_data; local
300 virtio_dev_t *dev = (virtio_dev_t*)driver->eth_data; local
348 virtio_dev_t *dev = (virtio_dev_t*)driver->eth_data; local
364 virtio_dev_t *dev = (virtio_dev_t*)malloc(sizeof(*dev)); local
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/include/drivers/
H A Duart.h11 #define dev_get_uart(dev) ((struct elfloader_uart_ops *)(dev->drv->ops))
14 int (*putc)(struct elfloader_device *dev, unsigned int c);
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/exynos/
H A Dserial.h15 int uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, struct ps_chardevice* dev);
H A Di2c.c185 irq_pending(struct i2c_bus_priv* dev) argument
187 return !!(dev->regs->control & I2CCON_IRQ_PEND);
191 clear_pending(struct i2c_bus_priv* dev) argument
193 uint32_t v = dev->regs->control;
195 dev->regs->control = v;
199 addressed_as_slave(struct i2c_bus_priv* dev) argument
201 return !!(dev->regs->status & I2CSTAT_ADDR_SLAVE);
205 busy(struct i2c_bus_priv* dev) argument
207 return !!(dev->regs->status & I2CSTAT_BUSY);
211 acked(struct i2c_bus_priv* dev) argument
217 enabled(struct i2c_bus_priv* dev) argument
223 master_txstart(struct i2c_bus_priv* dev, int slave) argument
236 master_rxstart(struct i2c_bus_priv* dev, int slave) argument
248 slave_init(struct i2c_bus_priv* dev, char addr) argument
260 struct i2c_bus_priv* dev = i2c_bus_get_priv(i2c_bus); local
289 struct i2c_bus_priv* dev = i2c_bus_get_priv(i2c_bus); local
325 struct i2c_bus_priv* dev; local
358 struct i2c_bus_priv* dev; local
386 struct i2c_bus_priv *dev = i2c_bus_get_priv(i2c_bus); local
397 struct i2c_bus_priv* dev; local
437 struct i2c_bus_priv* dev; local
562 struct i2c_bus_priv* dev; local
604 i2c_init_common(mux_sys_t* mux, i2c_bus_t* i2c, struct i2c_bus_priv* dev) argument
644 struct i2c_bus_priv* dev = _i2c + id; local
653 struct i2c_bus_priv* dev = _i2c + id; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dserial.h15 int uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dsrc.h15 void* reset_controller_get_clock_regs(src_dev_t* dev);
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dchardev.h25 struct ps_chardevice *dev);
29 const struct dev_defn *dev,
34 dev->paddr,
35 dev->size,
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,
28 chardev_map( const struct dev_defn *dev, const ps_io_ops_t *ops) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Di2c.c134 struct i2c_bus_priv* dev = i2c_clk_get_priv(clk); local
135 assert(dev != NULL);
142 clk_gate_enable(clk->clk_sys, dev->clk_gate, CLKGATE_ON);
150 struct i2c_bus_priv* dev = i2c_clk_get_priv(clk); local
151 int div = _i2c_div_map[dev->regs->div];
159 struct i2c_bus_priv* dev = i2c_clk_get_priv(clk); local
162 dev->regs->div = _i2c_prescale_decode(div);
213 busy(struct i2c_bus_priv* dev) argument
215 return !!(dev->regs->status & I2CSTAT_BUSY);
219 irq_pending(struct i2c_bus_priv* dev) argument
225 clear_pending(struct i2c_bus_priv* dev) argument
231 acked(struct i2c_bus_priv* dev) argument
237 master_stop(struct i2c_bus_priv* dev) argument
249 master_start(struct i2c_bus_priv* dev, char addr) argument
263 internal_slave_init(struct i2c_bus_priv* dev, char addr) argument
276 struct i2c_bus_priv* dev; local
330 master_txstart(struct i2c_bus_priv* dev, int slave) argument
336 master_rxstart(struct i2c_bus_priv* dev, int slave) argument
368 struct i2c_bus_priv* dev; local
399 struct i2c_bus_priv* dev; local
430 struct i2c_bus_priv* dev; local
456 struct i2c_bus_priv* dev; local
496 struct i2c_bus_priv* dev = _i2c + id; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dserial.c54 uart_handle_irq(ps_chardevice_t* dev) argument
56 *REG_PTR(dev->vaddr, UARTICR) = 0x7f0;
61 ps_chardevice_t* dev)
63 memset(dev, 0, sizeof(*dev));
70 dev->id = defn->id;
71 dev->vaddr = (void*)vaddr;
72 dev->read = &uart_read;
73 dev->write = &uart_write;
74 dev
59 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Dserial.c51 uart_handle_irq(ps_chardevice_t* dev) argument
53 *REG_PTR(dev->vaddr, UARTICR) = 0x7f0;
58 ps_chardevice_t* dev)
60 memset(dev, 0, sizeof(*dev));
67 dev->id = defn->id;
68 dev->vaddr = (void*)vaddr;
69 dev->read = &uart_read;
70 dev->write = &uart_write;
71 dev
56 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/qemu-arm-virt/
H A Dserial.c53 static void uart_handle_irq(ps_chardevice_t *dev) argument
55 *REG_PTR(dev->vaddr, UARTICR) = 0x7f0;
60 ps_chardevice_t *dev)
62 memset(dev, 0, sizeof(*dev));
69 dev->id = defn->id;
70 dev->vaddr = (void *)vaddr;
71 dev->read = &uart_read;
72 dev->write = &uart_write;
73 dev
58 uart_init(const struct dev_defn *defn, const ps_io_ops_t *ops, ps_chardevice_t *dev) argument
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dimx6.c98 struct imx6_eth_data *dev = (struct imx6_eth_data *)driver->eth_data; local
99 enet_get_mac(dev->enet, mac);
105 struct imx6_eth_data *dev = (struct imx6_eth_data *)driver->eth_data; local
107 while (dev->rx_remain > 0) {
110 int next_rdt = (dev->rdt + 1) % dev->rx_size;
120 dev->rx_cookies[dev->rdt] = cookie;
121 dev->rx_ring[dev
135 enable_interrupts(struct imx6_eth_data *dev) argument
144 free_desc_ring(struct imx6_eth_data *dev, ps_dma_man_t *dma_man) argument
168 initialize_desc_ring(struct imx6_eth_data *dev, ps_dma_man_t *dma_man) argument
233 struct imx6_eth_data *dev = (struct imx6_eth_data *)eth_driver->eth_data; local
258 struct imx6_eth_data *dev = (struct imx6_eth_data *)driver->eth_data; local
332 struct imx6_eth_data *dev = (struct imx6_eth_data *)driver->eth_data; local
[all...]
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dzynq7000.c50 static void free_desc_ring(struct zynq7000_eth_data *dev, ps_dma_man_t *dma_man) argument
53 if (dev->rx_ring != NULL) {
54 dma_unpin_free(dma_man, (void *)dev->rx_ring, sizeof(struct emac_bd) * dev->rx_size);
55 dev->rx_ring = NULL;
58 if (dev->tx_ring != NULL) {
59 dma_unpin_free(dma_man, (void *)dev->tx_ring, sizeof(struct emac_bd) * dev->tx_size);
60 dev->tx_ring = NULL;
63 if (dev
79 initialize_desc_ring(struct zynq7000_eth_data *dev, ps_dma_man_t *dma_man) argument
159 struct zynq7000_eth_data *dev = (struct zynq7000_eth_data *)driver->eth_data; local
199 struct zynq7000_eth_data *dev = (struct zynq7000_eth_data *)eth_driver->eth_data; local
233 struct zynq7000_eth_data *dev = (struct zynq7000_eth_data *)driver->eth_data; local
322 struct zynq7000_eth_data *dev = (struct zynq7000_eth_data *)driver->eth_data; local
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Di2c.c73 static inline uint16_t omap4_i2c_reg_read(omap4_i2c_dev_t *dev, int addr) argument
75 return *(volatile uint16_t *)(dev->regs + addr);
78 static inline void omap4_i2c_reg_write(omap4_i2c_dev_t *dev, int addr, uint16_t val) argument
80 *(volatile uint16_t *)(dev->regs + addr) = val;
83 static void omap4_i2c_enable_interrupts(omap4_i2c_dev_t *dev) argument
85 dev->interrupts_enabled = true;
86 omap4_i2c_reg_write(dev, OMAP4_I2C_IRQENABLE_SET, IRQENABLE_XDR | IRQENABLE_RDR |
90 static void omap4_i2c_disable_interrupts(omap4_i2c_dev_t *dev) argument
92 dev->interrupts_enabled = false;
93 omap4_i2c_reg_write(dev, OMAP4_I2C_IRQENABLE_CL
99 omap4_i2c_dev_t *dev = bus->priv; local
105 omap4_i2c_dev_t *dev = bus->priv; local
157 omap4_i2c_dev_t *dev = bus->priv; local
267 omap4_i2c_dev_t *dev = bus->priv; local
281 omap4_i2c_dev_t *dev = bus->priv; local
295 omap4_i2c_dev_t *dev = bus->priv; local
389 struct omap4_i2c_dev *dev; local
[all...]
H A Dserial.c60 ps_chardevice_t* dev)
62 memset(dev, 0, sizeof(*dev));
69 dev->id = defn->id;
70 dev->vaddr = (void*)vaddr;
71 dev->read = &uart_read;
72 dev->write = &uart_write;
73 dev->handle_irq = &uart_handle_irq;
74 dev->irqs = defn->irqs;
75 dev
58 uart_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev) argument
[all...]
/seL4-test-master/projects/musllibc/src/stat/
H A Dmknodat.c4 int mknodat(int fd, const char *path, mode_t mode, dev_t dev) argument
6 return syscall(SYS_mknodat, fd, path, mode, dev);
H A Dmknod.c5 int mknod(const char *path, mode_t mode, dev_t dev) argument
8 return syscall(SYS_mknod, path, mode, dev);
10 return syscall(SYS_mknodat, AT_FDCWD, path, mode, dev);
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dega.h16 int text_ega_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
H A Dkeyboard_chardev.h20 keyboard_cdev_init(const struct dev_defn* defn, const ps_io_ops_t* ops, ps_chardevice_t* dev);
/seL4-test-master/projects/musllibc/tools/
H A Dversion.sh4 if type git >/dev/null 2>&1 ; then
5 git describe --tags --match 'v[0-9]*' 2>/dev/null \

Completed in 262 milliseconds

123456