Searched refs:gic_fmu_read_pingctlr (Results 1 – 2 of 2) sorted by relevance
156 uint32_t gic_fmu_read_pingctlr(uintptr_t base) in gic_fmu_read_pingctlr() function
134 uint32_t gic_fmu_read_pingctlr(uintptr_t base);