IDREG_IDX
return &ka->id_regs[IDREG_IDX(reg)];
#define KVM_ARM_ID_REG_NUM (IDREG_IDX(sys_reg(3, 0, 0, 7, 7)) + 1)
.regidx = IDREG_IDX(SYS_ ## id), \
return kvm->arch.id_regs[IDREG_IDX(reg)];
ka->id_regs[IDREG_IDX(r)] = pvm_calc_id_reg(vcpu, r);