Searched refs:fpga_get_nr_gic_cores (Results 1 – 3 of 3) sorted by relevance
27 unsigned int fpga_get_nr_gic_cores(void);
81 unsigned int fpga_get_nr_gic_cores(void) in fpga_get_nr_gic_cores() function
216 unsigned int nr_cores = fpga_get_nr_gic_cores(); in fpga_prepare_dtb()