Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/drivers/arm/gic/v3/
Dgic600_multichip_private.h87 static inline uint64_t read_gicd_chipr_n(uintptr_t base, uint8_t n) in read_gicd_chipr_n() function
Dgic600_multichip.c128 if (read_gicd_chipr_n(base, chip_id) != chipr_n_val) { in set_gicd_chipr_n()