Searched refs:ICH_AP0RN (Results 1 – 1 of 1) sorted by relevance
19 #define ICH_AP0RN(n) (ICH_AP0R0_EL2 + (n)) macro334 s_cpu_if->vgic_ap0r[i] = __vcpu_sys_reg(vcpu, ICH_AP0RN(i)); in vgic_v3_create_shadow_state()372 __vcpu_assign_sys_reg(vcpu, ICH_AP0RN(i), s_cpu_if->vgic_ap0r[i]); in vgic_v3_put_nested()