Searched refs:gicd_read_pidr2 (Results 1 – 4 of 4) sorted by relevance
30 static inline unsigned int gicd_read_pidr2(uintptr_t base) in gicd_read_pidr2() function
139 gic_version = gicd_read_pidr2(plat_driver_data->gicd_base); in gicv2_driver_init()
265 static inline uint32_t gicd_read_pidr2(uintptr_t base) in gicd_read_pidr2() function
119 gic_version = gicd_read_pidr2(plat_driver_data->gicd_base); in gicv3_driver_init()