Searched refs:interrupt_cells_prop (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
| H A D | plic.c | 53 const void *interrupt_cells_prop = fdt_getprop(dtb_blob, intr_controller_offset, "#interrupt-cells", NULL); local
54 if (!interrupt_cells_prop) {
58 uint32_t num_interrupt_cells = READ_CELL(1, interrupt_cells_prop, 0);
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
| H A D | gicv3.c | 72 const void *interrupt_cells_prop = fdt_getprop(dtb_blob, intr_controller_offset, "#interrupt-cells", NULL); local
73 if (!interrupt_cells_prop) {
77 uint32_t num_interrupt_cells = READ_CELL(1, interrupt_cells_prop, 0);
|
Completed in 25 milliseconds