Searched defs:node_offset (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dtegra.c30 static int parse_tegra_ictlr_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, argument
H A Domap3.c22 static int parse_ti_omap3_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, argument
H A Davic.c22 static int parse_fsl_avic_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, argument
H A Dgic.c40 static int parse_arm_gic_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, argument
H A Dgicv3.c54 static int parse_arm_gicv3_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, argument
/seL4-camkes-master/projects/util_libs/libplatsupport/src/
H A Dirqchip.h67 static inline const void *get_interrupts_prop(char *dtb_blob, int node_offset, bool *is_extended, int *prop_len) argument
H A Dfdt.c28 int node_offset; member in struct:ps_fdt_cookie
62 int node_offset = fdt_path_offset(dtb_blob, path); local
93 int node_offset = cookie->node_offset; local
170 int node_offset = cookie->node_offset; local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/
H A Dplic.c33 static int parse_riscv_plic_interrupts(char *dtb_blob, int node_offset, int intr_controller_phandle, argument
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dio.c341 static int find_compatible_driver_module(ps_io_ops_t *ops, int node_offset, char *device_path) argument
467 int node_offset = fdt_path_offset(dtb_blob, **curr_path); local
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c594 int node_offset = free_slot; local

Completed in 109 milliseconds