Searched refs:irq_mask (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libplatsupport/src/plat/pc99/
H A Dhpet.c199 uint32_t irq_mask = timer0->config >> TN_INT_ROUTE_CAP; local
200 return irq_mask;
230 uint32_t irq_mask = hpet_timer->config >> TN_INT_ROUTE_CAP; local
231 if (!(BIT(config.irq) & irq_mask)) {
232 ZF_LOGE("IRQ %d not in the support mask 0x%x", config.irq, irq_mask);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dhpet.c199 uint32_t irq_mask = timer0->config >> TN_INT_ROUTE_CAP; local
200 return irq_mask;
230 uint32_t irq_mask = hpet_timer->config >> TN_INT_ROUTE_CAP; local
231 if (!(BIT(config.irq) & irq_mask)) {
232 ZF_LOGE("IRQ %d not in the support mask 0x%x", config.irq, irq_mask);
/seL4-refos-master/libs/libplatsupport/src/arch/arm/
H A Ddma330.c607 uint32_t irq_mask = (0xf << (ch * 4)); local
608 dma330->regs->ctrl.intclr = irq_mask;
609 dma330->regs->ctrl.inten &= ~irq_mask;
610 int_stat &= ~irq_mask;
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/
H A Ddma330.c607 uint32_t irq_mask = (0xf << (ch * 4)); local
608 dma330->regs->ctrl.intclr = irq_mask;
609 dma330->regs->ctrl.inten &= ~irq_mask;
610 int_stat &= ~irq_mask;

Completed in 57 milliseconds