Searched refs:gic_write_ap1r0 (Results 1 – 1 of 1) sorted by relevance
155 static void gic_write_ap1r0(uint64_t val) in gic_write_ap1r0() function319 gic_write_ap1r0(ap1r); in guest_restore_active()