Searched refs:gic_apr_write_ns_view (Results 1 – 1 of 1) sorted by relevance
1591 static inline void gic_apr_write_ns_view(GICState *s, int cpu, int regno, in gic_apr_write_ns_view() function1764 gic_apr_write_ns_view(s, cpu, regno, value); in gic_cpu_write()