Searched refs:root_intr_controller_offset (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dfdt.c206 int root_intr_controller_offset = 0; local
227 root_intr_controller_offset = intr_controller_offset;
233 ps_irqchip_t **irqchip = find_compatible_irq_controller(dtb_blob, root_intr_controller_offset);

Completed in 83 milliseconds