Searched refs:ap1r (Results 1 – 1 of 1) sorted by relevance
305 uint32_t prio, intid, ap1r; in guest_restore_active() local325 ap1r = gic_read_ap1r0(); in guest_restore_active()326 ap1r |= 1U << i; in guest_restore_active()327 gic_write_ap1r0(ap1r); in guest_restore_active()
