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