Searched refs:gicr_frame_size (Results 1 – 2 of 2) sorted by relevance
34 unsigned int gicr_frame_size);
524 uintptr_t gicr_base, unsigned int gicr_frame_size) in fdt_adjust_gic_redist() argument570 reg_32 = cpu_to_fdt32(nr_cores * gicr_frame_size); in fdt_adjust_gic_redist()573 reg_64 = cpu_to_fdt64(nr_cores * (uint64_t)gicr_frame_size); in fdt_adjust_gic_redist()