Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/drivers/arm/gic/v3/
Dgic600_multichip.c29 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()
Dgic600_multichip_private.h82 static inline uint32_t read_gicd_dchipr(uintptr_t base) in read_gicd_dchipr() function