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