Home
last modified time | relevance | path

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

/rk3399_ARM-atf/drivers/arm/gicv5/
H A Dgicv5_main.c42 static inline bool iwb_domain_supported(uint32_t idr0, uint8_t domain) in iwb_domain_supported() argument
44 return (EXTRACT(IWB_IDR0_DOMAINS, idr0) & (1U << domain)) != 0U; in iwb_domain_supported()
69 uint32_t idr0; in iwb_enable() local
74 idr0 = read_iwb_idr0(base_addr); in iwb_enable()
75 num_regs = EXTRACT(IWB_IDR0_IWRANGE, idr0) + 1U; in iwb_enable()
88 assert(iwb_domain_supported(idr0, config->wires[i].domain)); in iwb_enable()