Searched refs:__vgic_v3_write_ap0rn (Results 1 – 1 of 1) sorted by relevance
117 static void __vgic_v3_write_ap0rn(u32 val, int n) in __vgic_v3_write_ap0rn() function 408 __vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[3], 3); in __vgic_v3_restore_aprs() 409 __vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[2], 2); in __vgic_v3_restore_aprs() 412 __vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[1], 1); in __vgic_v3_restore_aprs() 415 __vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[0], 0); in __vgic_v3_restore_aprs() 701 __vgic_v3_write_ap0rn(val | BIT(ap % 32), apr); in __vgic_v3_set_active_priority() 731 __vgic_v3_write_ap0rn(ap0, i); in __vgic_v3_clear_highest_active_priority() 952 __vgic_v3_write_ap0rn(val, n); in __vgic_v3_read_apxrn()