Searched refs:gic_fmu_read_status (Results 1 – 2 of 2) sorted by relevance
54 status = (gic_fmu_read_status(base) & BIT(0)); in wait_until_fmu_is_idle()187 uint32_t gic_fmu_read_status(uintptr_t base) in gic_fmu_read_status() function
137 uint32_t gic_fmu_read_status(uintptr_t base);