Searched refs:gic_fmu_write_pingnow (Results 1 – 2 of 2) sorted by relevance
229 void gic_fmu_write_pingnow(uintptr_t base, uint32_t val) in gic_fmu_write_pingnow() function
142 void gic_fmu_write_pingnow(uintptr_t base, uint32_t val);