Searched defs:gic_fmu_write_pingctlr (Results 1 – 2 of 2) sorted by relevance
221 void gic_fmu_write_pingctlr(uintptr_t base, uint32_t val) in gic_fmu_write_pingctlr() function