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()
427 unsigned int gicv3_get_component_partnum(const uintptr_t gic_frame) in gicv3_get_component_partnum() function
377 unsigned int gicv3_get_component_partnum(const uintptr_t gic_frame);