Searched refs:gicv3_get_component_partnum (Results 1 – 3 of 3) sorted by relevance
77 frame_id = gicv3_get_component_partnum(gicr_base); in plat_fpga_gic_init()
416 unsigned int gicv3_get_component_partnum(const uintptr_t gic_frame) in gicv3_get_component_partnum() function
376 unsigned int gicv3_get_component_partnum(const uintptr_t gic_frame);
