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
128 uint32_t gic_fmu_read_pingctlr(uintptr_t base);
Completed in 3 milliseconds