Searched refs:gicr_frame_size (Results 1 – 2 of 2) sorted by relevance
401 unsigned int gicr_frame_size) in fdt_adjust_gic_redist() argument425 redist_size_32 = cpu_to_fdt32(nr_cores * gicr_frame_size); in fdt_adjust_gic_redist()429 (uint64_t)gicr_frame_size); in fdt_adjust_gic_redist()
17 unsigned int gicr_frame_size);