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