Searched defs:gic_fmu_read_pingnow (Results 1 – 2 of 2) sorted by relevance
164 uint32_t gic_fmu_read_pingnow(uintptr_t base) in gic_fmu_read_pingnow() function