Searched refs:__vgic_v3_write_ap1rn (Results 1 – 1 of 1) sorted by relevance
131 static void __hyp_text __vgic_v3_write_ap1rn(u32 val, int n) in __vgic_v3_write_ap1rn() function399 __vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[3], 3); in __vgic_v3_restore_aprs()400 __vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[2], 2); in __vgic_v3_restore_aprs()403 __vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[1], 1); in __vgic_v3_restore_aprs()406 __vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[0], 0); in __vgic_v3_restore_aprs()601 __vgic_v3_write_ap1rn(val | BIT(ap % 32), apr); in __vgic_v3_set_active_priority()632 __vgic_v3_write_ap1rn(ap1, i); in __vgic_v3_clear_highest_active_priority()862 __vgic_v3_write_ap1rn(val, n); in __vgic_v3_write_apxrn()