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