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 Dplic.c48 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 Dgicv3.c67 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 Dfdt.c146 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