Searched refs:gic_fmu_write_pingctlr (Results 1 – 3 of 3) sorted by relevance
221 void gic_fmu_write_pingctlr(uintptr_t base, uint32_t val) in gic_fmu_write_pingctlr() function
358 gic_fmu_write_pingctlr(base, (interval_diff << FMU_PINGCTLR_INTDIFF_SHIFT) | in gic600_fmu_enable_ping()
141 void gic_fmu_write_pingctlr(uintptr_t base, uint32_t val);
Completed in 4 milliseconds