Home
last modified time | relevance | path

Searched refs:interrupt (Results 1 – 25 of 91) sorted by relevance

1234

/seL4-master/tools/dts/
A Dspike32.dts24 interrupt-parent = <0x00000002>;
35 interrupt-parent = <0x00000002>;
41 interrupt-parent = <0x00000002>;
47 interrupt-parent = <0x00000002>;
53 interrupt-parent = <0x00000002>;
59 interrupt-parent = <0x00000002>;
65 interrupt-parent = <0x00000002>;
93 interrupt-controller {
95 interrupt-controller;
111 interrupt-controller@c000000 {
[all …]
A Dmpfs_icicle.dts27 L4: interrupt-controller {
28 #interrupt-cells = <1>;
30 interrupt-controller;
55 #interrupt-cells = <1>;
57 interrupt-controller;
82 #interrupt-cells = <1>;
84 interrupt-controller;
109 #interrupt-cells = <1>;
111 interrupt-controller;
138 interrupt-controller;
[all …]
A Dultra96.dts111 interrupt-parent = < 0x03 >;
122 interrupt-parent = < 0x03 >;
134 #interrupt-cells = < 0x03 >;
136 interrupt-controller;
137 interrupt-parent = < 0x03 >;
155 interrupt-parent = < 0x03 >;
167 interrupt-parent = < 0x03 >;
192 interrupt-parent = < 0x03 >;
203 interrupt-parent = < 0x03 >;
418 interrupt-controller;
[all …]
A Dhifive.dts39 interrupt-controller {
42 interrupt-controller;
68 interrupt-controller {
71 interrupt-controller;
97 interrupt-controller {
100 interrupt-controller;
126 interrupt-controller {
129 interrupt-controller;
155 interrupt-controller {
297 interrupt-controller;
[all …]
A Dexynos5410.dts14 interrupt-parent = < 0x01 >;
63 interrupt-controller;
73 interrupt-controller;
974 interrupt-controller;
981 interrupt-controller;
988 interrupt-controller;
995 interrupt-controller;
1002 interrupt-controller;
1009 interrupt-controller;
1016 interrupt-controller;
[all …]
A Dzynqmp.dts111 interrupt-parent = < 0x03 >;
122 interrupt-parent = < 0x03 >;
134 #interrupt-cells = < 0x03 >;
136 interrupt-controller;
137 interrupt-parent = < 0x03 >;
155 interrupt-parent = < 0x03 >;
167 interrupt-parent = < 0x03 >;
192 interrupt-parent = < 0x03 >;
203 interrupt-parent = < 0x03 >;
428 interrupt-controller;
[all …]
A Dariane.dts37 CPU0_intc: interrupt-controller {
38 #interrupt-cells = <1>;
39 interrupt-controller;
67 PLIC0: interrupt-controller@c000000 {
69 #interrupt-cells = <1>;
71 interrupt-controller;
88 interrupt-parent = <&PLIC0>;
97 interrupt-parent = <&PLIC0>;
104 interrupt-parent = <&PLIC0>;
133 interrupt-parent = <&PLIC0>;
[all …]
A Dzynq7000.dts52 interrupt-parent = < 0x04 >;
70 interrupt-parent = < 0x04 >;
77 interrupt-parent = < 0x04 >;
88 interrupt-parent = < 0x04 >;
100 interrupt-parent = < 0x04 >;
110 interrupt-controller;
111 #interrupt-cells = < 0x02 >;
112 interrupt-parent = < 0x04 >;
123 interrupt-parent = < 0x04 >;
221 interrupt-parent = < 0x04 >;
[all …]
A Dexynos5250.dts14 interrupt-parent = < 0x01 >;
71 interrupt-controller;
81 interrupt-controller;
679 interrupt-controller;
715 interrupt-controller;
723 interrupt-controller;
730 interrupt-controller;
737 interrupt-controller;
745 interrupt-controller;
752 interrupt-controller;
[all …]
A Dexynos4.dts14 interrupt-parent = < 0x01 >;
168 interrupt-controller;
177 interrupt-controller;
199 interrupt-controller;
1453 interrupt-controller;
1460 interrupt-controller;
1468 interrupt-controller;
1475 interrupt-controller;
1482 interrupt-controller;
1490 interrupt-controller;
[all …]
A Drocketchip.dts63 L3: interrupt-controller {
64 #interrupt-cells = <1>;
66 interrupt-controller;
81 interrupt-parent = <&L0>;
104 interrupt-parent = <&L0>;
107 L0: interrupt-controller@c000000 {
108 #interrupt-cells = <1>;
110 interrupt-controller;
A Dexynos5422.dts14 interrupt-parent = < 0x01 >;
72 interrupt-controller;
82 interrupt-controller;
1245 interrupt-controller;
1252 interrupt-controller;
1262 interrupt-controller;
1271 interrupt-controller;
1278 interrupt-controller;
1331 interrupt-controller;
1338 interrupt-controller;
[all …]
A Dnitrogen6sx.dts142 interrupt-parent = < 0x01 >;
154 interrupt-controller@a01000 {
157 interrupt-controller;
216 interrupt-controller;
228 interrupt-controller;
240 interrupt-controller;
252 interrupt-controller;
264 interrupt-controller;
275 interrupt-controller;
287 interrupt-controller;
[all …]
A Dspike.dts33 interrupt-controller {
34 #interrupt-cells = <0x00000001>;
35 interrupt-controller;
A Dhikey.dts15 interrupt-parent = < 0x01 >;
259 interrupt-controller;
923 interrupt-controller;
937 interrupt-controller;
951 interrupt-controller;
965 interrupt-controller;
980 interrupt-controller;
995 interrupt-controller;
1009 interrupt-controller;
1024 interrupt-controller;
[all …]
/seL4-master/tools/
A Dhardware_schema.yml42 $ref: '#/definitions/interrupt'
73 interrupt:
80 …description: only set interrupt if this macro is defined - this rule will be ignored if the given …
83 description: index of interrupt in device's interrupts array
96 #define MY_INTERRUPT 1 /* interrupt 0 of device */
98 #define MY_INTERRUPT 3 /* interrupt 2 of device */
102 description: index of interrupt in device's array to use when sel_macro is undefined
116 description: index of interrupt in device's interrupts array
126 Use interrupt associated with the seL4,boot-cpu set in the chosen node.
137 interrupt-affinity = <&cpu0 &cpu1 &cpu2 &cpu3>;
[all …]
/seL4-master/src/plat/tx2/
A Doverlay-tx2.dts16 &{/interrupt-controller@3881000},
23 interrupt-controller@3881000 {
29 interrupt-parent = <&{/interrupt-controller@3881000}>;
/seL4-master/src/plat/tx1/
A Doverlay-tx1.dts15 &{/interrupt-controller@50041000},
25 interrupt-parent = <&{/interrupt-controller@50041000}>;
/seL4-master/src/arch/riscv/
A Dplatform_gen.h.in13 #include <machine/interrupt.h>
16 * seL4 assigns all IRQs global interrupt numbers that are used in interrupt
23 * the kernel timer interrupts after the last PLIC interrupt and intend on
/seL4-master/src/plat/pc99/machine/
A Dpic.c17 BOOT_CODE void pic_remap_irqs(interrupt_t interrupt) in pic_remap_irqs() argument
21 out8(PIC1_BASE + 1, interrupt); in pic_remap_irqs()
22 out8(PIC2_BASE + 1, interrupt + 8); in pic_remap_irqs()
/seL4-master/src/plat/imx6/
A Dmcs-overlay-imx6.dts14 interrupt-parent = < 0x16 >;
22 &{/soc/interrupt-controller@a01000},
A Dmcs-overlay-nitrogen6sx.dts14 interrupt-parent = < 0x16 >;
22 &{/soc/interrupt-controller@a01000},
/seL4-master/src/plat/zynqmp/
A Doverlay-zynqmp.dts9 /* These blocks remove the duplicate interrupt which causes issues
35 &{/amba_apu@0/interrupt-controller@f9010000},
A Doverlay-zynqmp32.dts9 /* These blocks remove the duplicate interrupt which causes issues
35 &{/amba_apu@0/interrupt-controller@f9010000},
/seL4-master/include/drivers/irq/
A Driscv_plic0.h98 static inline bool_t plic_pending_interrupt(word_t interrupt) in plic_pending_interrupt() argument
100 word_t addr = PLIC_PPTR_BASE + PLIC_PENDING + (interrupt / 32) * 4; in plic_pending_interrupt()
101 word_t bit = interrupt % 32; in plic_pending_interrupt()

Completed in 151 milliseconds

1234