Searched refs:gic_fmu_read_pingmask (Results 1 – 2 of 2) sorted by relevance
136 uint64_t gic_fmu_read_pingmask(uintptr_t base);
172 uint64_t gic_fmu_read_pingmask(uintptr_t base) in gic_fmu_read_pingmask() function