| /seL4-master/tools/dts/ |
| A D | odroidc4.dts | 364 bias-disable;
373 bias-disable;
390 bias-disable;
444 bias-disable;
455 bias-disable;
464 bias-disable;
474 bias-disable;
484 bias-disable;
494 bias-disable;
2689 disable-wp;
[all …]
|
| A D | rpi4.dts | 307 bias-disable;
316 bias-disable;
325 bias-disable;
340 bias-disable;
355 bias-disable;
370 bias-disable;
385 bias-disable;
400 bias-disable;
415 bias-disable;
430 bias-disable;
[all …]
|
| A D | zynq7000.dts | 396 low-power-disable;
402 bias-disable;
414 bias-disable;
439 bias-disable;
471 bias-disable;
522 bias-disable;
547 bias-disable;
|
| A D | apq8064.dts | 383 bias-disable;
404 bias-disable;
440 bias-disable;
486 bias-disable;
516 bias-disable;
546 bias-disable;
581 bias-disable;
587 bias-disable;
618 bias-disable;
682 bias-disable;
[all …]
|
| A D | ariane.dts | 118 disable-wp;
|
| A D | rockpro64.dts | 346 disable-wp;
365 disable-cqe-dcmd;
2030 rockchip,disable-mmu-reset;
2042 rockchip,disable-mmu-reset;
2303 bias-disable;
2308 bias-disable;
2314 bias-disable;
2320 bias-disable;
2325 bias-disable;
|
| A D | tx2.dts | 988 disable-on-kernel-charging;
1136 ti,disable-active-discharge;
1299 disable-on-kernel-charging;
3627 adp-disable;
5660 nvidia,disable-clock-request;
5951 wakeup-disable;
5968 wakeup-disable;
6426 wakeup-disable;
6474 wakeup-disable;
6494 wakeup-disable;
[all …]
|
| A D | ultra96.dts | 580 disable-wp;
593 disable-wp;
|
| /seL4-master/src/plat/bcm2837/machine/ |
| A D | intc.c | 70 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
77 if (disable) { in maskInterrupt()
87 if (disable) { in maskInterrupt()
94 if (disable) { in maskInterrupt()
116 if (disable) { in maskInterrupt()
124 if (disable) { in maskInterrupt()
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | interrupt.h | 114 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
118 pic_mask_irq(disable, irq); in maskInterrupt()
129 ioapic_mask(disable, ioapic, pin); in maskInterrupt()
130 state = x86_irq_state_irq_ioapic_set_masked(state, disable); in maskInterrupt()
|
| /seL4-master/include/drivers/irq/ |
| A D | riscv_plic_dummy.h | 32 static inline void plic_mask_irq(bool_t disable, irq_t irq) in plic_mask_irq() argument
35 disable ? "mask" : "unmask", (int)irq); in plic_mask_irq()
|
| A D | omap3.h | 81 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
84 if (disable) { in maskInterrupt()
|
| A D | am335x.h | 90 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
93 if (disable) { in maskInterrupt()
|
| A D | riscv_plic0.h | 134 static inline void plic_mask_irq(bool_t disable, irq_t irq) in plic_mask_irq() argument
145 if (disable) { in plic_mask_irq()
|
| /seL4-master/include/arch/arm/arch/smp/ |
| A D | ipi_inline.h | 40 static inline void doRemoteMaskPrivateInterrupt(word_t cpu, word_t disable, word_t irq) in doRemoteMaskPrivateInterrupt() argument
42 doRemoteOp2Arg(IpiRemoteCall_MaskPrivateInterrupt, disable, irq, cpu); in doRemoteMaskPrivateInterrupt()
|
| /seL4-master/src/arch/riscv/machine/ |
| A D | hardware.c | 174 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
178 if (disable) { in maskInterrupt()
188 plic_mask_irq(disable, irq); in maskInterrupt()
|
| /seL4-master/include/arch/riscv/arch/machine/ |
| A D | plic.h | 81 static inline void plic_mask_irq(bool_t disable, irq_t irq);
|
| /seL4-master/include/machine/ |
| A D | interrupt.h | 85 static inline void maskInterrupt(bool_t disable, irq_t irq);
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | gic_v2.h | 185 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
190 if (disable) { in maskInterrupt()
|
| A D | gic_v3.h | 323 static inline void maskInterrupt(bool_t disable, irq_t irq) in maskInterrupt() argument
329 if (disable) { in maskInterrupt()
|
| /seL4-master/src/plat/imx6/ |
| A D | config.cmake | 12 # disable platform specific settings by default in cache, will be enabled below
|
| /seL4-master/src/arch/x86/ |
| A D | config.cmake | 39 needed to disable at run time. \
321 # as generated by the compiler through switch statements we can disable jump
|
| /seL4-master/src/arch/arm/ |
| A D | config.cmake | 127 incorrect instructions. The work around is to disable the loop buffer"
|
| /seL4-master/manual/ |
| A D | Doxyfile | 104 # documentation (similar to Javadoc). Set to NO to disable this.
421 # Note: This will also disable the warnings about undocumented members that are
609 # The GENERATE_TODOLIST tag can be used to enable (YES) or disable (NO) the todo
621 # The GENERATE_BUGLIST tag can be used to enable (YES) or disable (NO) the bug
627 # The GENERATE_DEPRECATEDLIST tag can be used to enable (YES) or disable (NO)
651 # Set the SHOW_USED_FILES tag to NO to disable the list of files generated at
665 # Set the SHOW_NAMESPACES tag to NO to disable the generation of the Namespaces
918 # it is also possible to disable source filtering for a specific pattern using
981 # can opt to disable this feature.
1011 # specified. Set to NO to disable this.
[all …]
|
| /seL4-master/src/arch/x86/64/ |
| A D | traps.S | 469 # disable the interrupt flag so we don't take any more interrupts
|