/seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
H A D | pit.c | 29 #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 D | cpsw.c | 290 * \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 D | edma.c | 67 * \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 D | pit.c | 29 #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 D | cpsw.h | 287 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 D | edma.h | 457 unsigned int channel,
|
/seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | dma330.h | 28 * @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 D | dma330.h | 28 * @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 D | dma330.c | 226 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 D | dma330.c | 226 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 D | device_irq.c | 46 /* 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 D | device_irq.c | 46 /* 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 D | device_irq.h | 44 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 D | device_irq.h | 44 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 D | sg.h | 91 int channel; member in struct:sg_scsi_id
|