Home
last modified time | relevance | path

Searched refs:gicr_frame_size (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-a-3.4.0/include/common/
Dfdt_fixup.h34 unsigned int gicr_frame_size);
/trusted-firmware-a-3.4.0/common/
Dfdt_fixup.c524 uintptr_t gicr_base, unsigned int gicr_frame_size) in fdt_adjust_gic_redist() argument
570 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()