Searched refs:channel (Results 1 - 15 of 15) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dpit.c29 #define PITCR_SET_CHANNEL(x, channel) (((channel) << 6) | x)
33 #define PITCR_LATCH_CHANNEL(channel) PITCR_SET_CHANNEL(0, channel)
46 set_pit_mode(ps_io_port_ops_t *ops, uint8_t channel, uint8_t mode) argument
49 PITCR_SET_CHANNEL(PITCR_SET_OP_MODE(PITCR_SET_ACCESS_MODE(0, PITCR_ACCESS_LOHI), mode), channel));
69 ZF_LOGE("ps_io_port_out failed on channel %u\n", PIT_IOPORT_CHANNEL(0));
76 ZF_LOGE("ps_io_port_out failed on channel %u\n", PIT_IOPORT_CHANNEL(0));
82 ZF_LOGE("ps_io_port_out failed on channel %u\n", PIT_IOPORT_CHANNEL(0));
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/
H A Dcpsw.c290 * \param channel Channel number
301 unsigned int channel, unsigned int intFlag)
303 HWREG(baseAddr + CPSW_WR_C_RX_THRESH_EN(core) + intFlag) |= (BIT(channel));
311 * \param channel Channel number
322 unsigned int channel, unsigned int intFlag)
325 ~(BIT(channel));
330 * channel
334 * \param channel Channel number
346 unsigned int channel, unsigned int intFlag)
349 & (BIT(channel)));
300 CPSWWrCoreIntEnable(unsigned int baseAddr, unsigned int core, unsigned int channel, unsigned int intFlag) argument
321 CPSWWrCoreIntDisable(unsigned int baseAddr, unsigned int core, unsigned int channel, unsigned int intFlag) argument
345 CPSWWrCoreIntStatusGet(unsigned int baseAddr, unsigned int core, unsigned int channel, unsigned int intFlag) argument
734 CPSWCPDMATxIntEnable(unsigned int baseAddr, unsigned int channel) argument
748 CPSWCPDMARxIntEnable(unsigned int baseAddr, unsigned int channel) argument
762 CPSWCPDMATxIntDisable(unsigned int baseAddr, unsigned int channel) argument
777 CPSWCPDMARxIntDisable(unsigned int baseAddr, unsigned int channel) argument
827 CPSWCPDMATxHdrDescPtrWrite(unsigned int baseAddr, unsigned int descHdr, unsigned int channel) argument
845 CPSWCPDMARxHdrDescPtrWrite(unsigned int baseAddr, unsigned int descHdr, unsigned int channel) argument
881 CPSWCPDMATxCPWrite(unsigned int baseAddr, unsigned int channel, unsigned int comPtr) argument
897 CPSWCPDMARxCPWrite(unsigned int baseAddr, unsigned int channel, unsigned int comPtr) argument
913 CPSWCPDMANumFreeBufSet(unsigned int baseAddr, unsigned int channel, unsigned int nBuf) argument
[all...]
H A Dedma.c67 * \param queNum Event Queue Number to which the channel
146 * \brief Enable channel to Shadow region mapping
158 * \param chNum Allocated channel number.\n
170 /* Allocate the DMA/QDMA channel */
174 /* Enable the DMA channel in the DRAE registers */
177 /* Enable the DMA channel in the DRAEH registers */
183 /* Enable the QDMA channel in the DRAE/DRAEH registers */
189 * \brief Disable channel to Shadow region mapping
201 * \param chNum Allocated channel number.\n
213 /* Allocate the DMA/QDMA channel */
243 EDMA3ChannelToParamMap(unsigned int baseAdd, unsigned int channel, unsigned int paramSet) argument
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dpit.c29 #define PITCR_SET_CHANNEL(x, channel) (((channel) << 6) | x)
33 #define PITCR_LATCH_CHANNEL(channel) PITCR_SET_CHANNEL(0, channel)
46 set_pit_mode(ps_io_port_ops_t *ops, uint8_t channel, uint8_t mode) argument
49 PITCR_SET_CHANNEL(PITCR_SET_OP_MODE(PITCR_SET_ACCESS_MODE(0, PITCR_ACCESS_LOHI), mode), channel));
69 ZF_LOGE("ps_io_port_out failed on channel %u\n", PIT_IOPORT_CHANNEL(0));
76 ZF_LOGE("ps_io_port_out failed on channel %u\n", PIT_IOPORT_CHANNEL(0));
82 ZF_LOGE("ps_io_port_out failed on channel %u\n", PIT_IOPORT_CHANNEL(0));
/seL4-refos-master/projects/util_libs/libethdrivers/plat_include/am335x/ethdrivers/plat/
H A Dcpsw.h287 unsigned int channel, unsigned int intFlag);
289 unsigned int channel, unsigned int intFlag);
291 unsigned int channel, unsigned int intFlag);
315 extern void CPSWCPDMATxIntEnable(unsigned int baseAddr, unsigned int channel);
316 extern void CPSWCPDMARxIntEnable(unsigned int baseAddr, unsigned int channel);
317 extern void CPSWCPDMATxIntDisable(unsigned int baseAddr, unsigned int channel);
318 extern void CPSWCPDMARxIntDisable(unsigned int baseAddr, unsigned int channel);
322 unsigned int channel);
324 unsigned int channel);
326 extern void CPSWCPDMATxCPWrite(unsigned int baseAddr, unsigned int channel,
[all...]
H A Dedma.h457 unsigned int channel,
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/
H A Ddma330.h28 * @param[in] signal The signal, in the address space of the channel, that cause the IRQ
59 * @param[in] channel The channel to use for the transfer
61 * @param[in] cb A callback to call when the channel thread produces an event.
65 int dma330_xfer(dma330_t* dma330, int channel, uintptr_t program, dma330_signal_cb cb, void* token);
89 * The copy program sends signal #0 + channel when complete
90 * @param[in] channel The channel which the program will be executed on
93 void dma330_copy_compile(int channel, void* bin);
/seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/
H A Ddma330.h28 * @param[in] signal The signal, in the address space of the channel, that cause the IRQ
59 * @param[in] channel The channel to use for the transfer
61 * @param[in] cb A callback to call when the channel thread produces an event.
65 int dma330_xfer(dma330_t* dma330, int channel, uintptr_t program, dma330_signal_cb cb, void* token);
89 * The copy program sends signal #0 + channel when complete
90 * @param[in] channel The channel which the program will be executed on
93 void dma330_copy_compile(int channel, void* bin);
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c226 dmac_get_pc(dma330_t dma330, int channel) argument
229 return regs->chstat[channel].cpc;
233 dmac_has_fault(dma330_t dma330, int channel) argument
236 if (channel < 0) {
239 return regs->ctrl.fsc & BIT(channel);
244 dmac_get_status(dma330_t dma330, int channel) argument
247 if (channel < 0) {
250 return regs->chstat[channel].csr;
255 dmac_get_fault_type(dma330_t dma330, int channel) argument
258 if (channel <
266 dmac_channel_dump(dma330_t dma330, int channel) argument
387 dmac_print_fault(dma330_t dma330, int channel) argument
459 dmac_exec(dma330_t dma330, uint64_t instruction, int channel) argument
633 dma330_copy_compile(int channel, void* vbin) argument
[all...]
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c226 dmac_get_pc(dma330_t dma330, int channel) argument
229 return regs->chstat[channel].cpc;
233 dmac_has_fault(dma330_t dma330, int channel) argument
236 if (channel < 0) {
239 return regs->ctrl.fsc & BIT(channel);
244 dmac_get_status(dma330_t dma330, int channel) argument
247 if (channel < 0) {
250 return regs->chstat[channel].csr;
255 dmac_get_fault_type(dma330_t dma330, int channel) argument
258 if (channel <
266 dmac_channel_dump(dma330_t dma330, int channel) argument
387 dmac_print_fault(dma330_t dma330, int channel) argument
459 dmac_exec(dma330_t dma330, uint64_t instruction, int channel) argument
633 dma330_copy_compile(int channel, void* vbin) argument
[all...]
/seL4-refos-master/libs/librefos/src/refos-util/
H A Ddevice_irq.c46 /* Initialise IRQ channel table. */
48 cvector_init(&irqState->channel[i]);
78 /* Determine next round-robin channel to go in. */
80 cvector_add(&irqState->channel[irqState->nextIRQChannel], (cvector_item_t) irq);
131 int nIRQs = cvector_count(&irqState->channel[i]);
133 uint32_t irq = (uint32_t) cvector_get(&irqState->channel[i], j);
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Ddevice_irq.c46 /* Initialise IRQ channel table. */
48 cvector_init(&irqState->channel[i]);
78 /* Determine next round-robin channel to go in. */
80 cvector_add(&irqState->channel[irqState->nextIRQChannel], (cvector_item_t) irq);
131 int nIRQs = cvector_count(&irqState->channel[i]);
133 uint32_t irq = (uint32_t) cvector_get(&irqState->channel[i], j);
/seL4-refos-master/libs/librefos/include/refos-util/
H A Ddevice_irq.h44 IRQ then channel conflict occurs and we reuse an allocated channel, resulting in both IRQ
88 cvector_t channel[DEVICE_IRQ_BADGE_MAX_CHANNELS]; member in struct:dev_irq_state
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Ddevice_irq.h44 IRQ then channel conflict occurs and we reuse an allocated channel, resulting in both IRQ
88 cvector_t channel[DEVICE_IRQ_BADGE_MAX_CHANNELS]; member in struct:dev_irq_state
/seL4-refos-master/libs/libmuslc/include/scsi/
H A Dsg.h91 int channel; member in struct:sg_scsi_id

Completed in 160 milliseconds