Searched refs:ap1r (Results 1 – 1 of 1) sorted by relevance
298 uint32_t prio, intid, ap1r; in guest_restore_active() local318 ap1r = gic_read_ap1r0(); in guest_restore_active()319 ap1r |= 1U << i; in guest_restore_active()320 gic_write_ap1r0(ap1r); in guest_restore_active()