Searched refs:intc (Results 1 – 21 of 21) sorted by relevance
| /seL4-master/include/drivers/irq/ |
| A D | am335x.h | 66 } *intc = (volatile void *)INTC_PPTR; variable
71 uint32_t intcps_sir_irq = intc->intcps_sir_irq; in getActiveIRQ()
75 assert((irq / 32) < (sizeof intc->intcps_n / sizeof intc->intcps_n[0])); in getActiveIRQ()
76 if (intc->intcps_n[irq / 32].intcps_pending_irq & (1 << (irq & 31))) { in getActiveIRQ()
94 intc->intcps_n[irq / 32].intcps_mir_set = 1 << (irq & 31); in maskInterrupt()
96 intc->intcps_n[irq / 32].intcps_mir_clear = 1 << (irq & 31); in maskInterrupt()
110 intc->intcps_control = INTCPS_CONTROL_NEWIRQAGR; in ackInterrupt()
117 intc->intcps_control = INTCPS_CONTROL_NEWIRQAGR; in handleSpuriousIRQ()
|
| A D | omap3.h | 55 } *intc = (volatile void *)INTC_PPTR; variable
59 uint32_t intcps_sir_irq = intc->intcps_sir_irq; in getActiveIRQ()
65 if (intc->intcps_n[irq / 32].intcps_pending_irq & (1 << (irq & 31))) { in getActiveIRQ()
85 intc->intcps_n[irq / 32].intcps_mir_set = 1 << (irq & 31); in maskInterrupt()
87 intc->intcps_n[irq / 32].intcps_mir_clear = 1 << (irq & 31); in maskInterrupt()
94 intc->intcps_control = 1; in ackInterrupt()
103 intc->intcps_control = 1; in handleSpuriousIRQ()
|
| /seL4-master/src/plat/am335x/machine/ |
| A D | hardware.c | 13 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; in initIRQController()
14 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; in initIRQController()
|
| /seL4-master/src/plat/omap3/machine/ |
| A D | hardware.c | 23 intc->intcps_sysconfig = INTCPS_SYSCONFIG_SOFTRESET; in initIRQController()
24 while (!(intc->intcps_sysstatus & INTCPS_SYSSTATUS_RESETDONE)) ; in initIRQController()
|
| /seL4-master/tools/ |
| A D | hardware.yml | 62 # TI AM33XX/OMAP3 intc (interrupt-controller/ti,omap-intc-irq.txt)
64 - ti,am33xx-intc
65 - ti,omap3-intc
69 # Broadcom top level IRQ controller (interrupt-controller/brcm,bcm2836-l1-intc.txt)
71 - brcm,bcm2836-l1-intc
|
| /seL4-master/src/plat/qemu-arm-virt/ |
| A D | overlay-qemu-arm-virt.dts | 14 &{/intc@8000000},
|
| /seL4-master/src/plat/bcm2837/ |
| A D | config.cmake | 40 CFILES src/plat/bcm2837/machine/intc.c src/arch/arm/machine/l2c_nop.c
|
| /seL4-master/tools/dts/ |
| A D | mpfs_icicle.dts | 29 compatible = "riscv,cpu-intc";
56 compatible = "riscv,cpu-intc";
83 compatible = "riscv,cpu-intc";
110 compatible = "riscv,cpu-intc";
137 compatible = "riscv,cpu-intc";
|
| A D | spike.dts | 36 compatible = "riscv,cpu-intc";
|
| A D | hifive.dts | 41 compatible = "riscv,cpu-intc";
70 compatible = "riscv,cpu-intc";
99 compatible = "riscv,cpu-intc";
128 compatible = "riscv,cpu-intc";
157 compatible = "riscv,cpu-intc";
|
| A D | spike32.dts | 96 compatible = "riscv,cpu-intc";
|
| A D | rocketchip.dts | 65 compatible = "riscv,cpu-intc";
|
| A D | ariane.dts | 40 compatible = "riscv,cpu-intc";
|
| A D | odroidc2.dts | 187 compatible = "amlogic,meson-gpio-intc\0amlogic,meson-gxbb-gpio-intc";
|
| A D | rpi3.dts | 664 compatible = "brcm,bcm2836-l1-intc";
|
| A D | odroidc4.dts | 2522 compatible = "amlogic,meson-sm1-gpio-intc\0amlogic,meson-gpio-intc";
|
| A D | rpi4.dts | 1038 compatible = "brcm,bcm2836-l1-intc";
|
| A D | am335x-bone.dts | 946 compatible = "ti,am33xx-intc";
|
| A D | am335x-boneblack.dts | 962 compatible = "ti,am33xx-intc";
|
| A D | am335x-boneblue.dts | 965 compatible = "ti,am33xx-intc";
|
| A D | omap3.dts | 2689 compatible = "ti,omap3-intc";
|
Completed in 41 milliseconds