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