Searched refs:read_gicd_dchipr (Results 1 – 2 of 2) sorted by relevance
29 while ((read_gicd_dchipr(base) & GICD_DCHIPR_PUP_BIT) != 0U) { in gicd_dchipr_wait_for_power_update_progress()58 write_gicd_dchipr(base, read_gicd_dchipr(base) | in set_gicd_dchipr_rt_owner()
82 static inline uint32_t read_gicd_dchipr(uintptr_t base) in read_gicd_dchipr() function
Completed in 3 milliseconds