Searched refs:intr_controller_offset (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 48 int intr_controller_offset = fdt_node_offset_by_phandle(dtb_blob, intr_controller_phandle); local 49 if (intr_controller_offset < 0) { 51 return intr_controller_offset; 53 const void *interrupt_cells_prop = fdt_getprop(dtb_blob, intr_controller_offset, "#interrupt-cells", NULL);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | gicv3.c | 67 int intr_controller_offset = fdt_node_offset_by_phandle(dtb_blob, intr_controller_phandle); local 68 if (intr_controller_offset < 0) { 70 return intr_controller_offset; 72 const void *interrupt_cells_prop = fdt_getprop(dtb_blob, intr_controller_offset, "#interrupt-cells", NULL);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | fdt.c | 146 static inline ps_irqchip_t **find_compatible_irq_controller(char *dtb_blob, int intr_controller_offset) argument 150 if (fdt_node_check_compatible(dtb_blob, intr_controller_offset, *compatible_str) == 0) { 212 int intr_controller_offset = fdt_node_offset_by_phandle(dtb_blob, intr_controller_phandle); local 213 ZF_LOGF_IF(intr_controller_offset < 0, "Failed to get the offset of the interrupt controller"); 214 intr_parent_prop = fdt_getprop(dtb_blob, intr_controller_offset, "interrupt-parent", NULL); 227 root_intr_controller_offset = intr_controller_offset;
|
Completed in 86 milliseconds