Searched refs:coreTimersIrqCtrl (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/plat/bcm2837/machine/
A D	intc.c	78 core_regs->coreTimersIrqCtrl[0] &= ~BIT(irq); in maskInterrupt() 80 core_regs->coreTimersIrqCtrl[0] |= BIT(irq); in maskInterrupt()
/seL4-master/include/drivers/irq/
A D	bcm2836-armctrl-ic.h	109 uint32_t coreTimersIrqCtrl[4]; /* 0x40 Timers interrupt control registers */ member

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023