SYS_TPIDR_EL1
case TPIDR_EL1: val = read_sysreg_s(SYS_TPIDR_EL1); break;
case TPIDR_EL1: write_sysreg_s(val, SYS_TPIDR_EL1); break;
{ SYS_DESC(SYS_TPIDR_EL1), NULL, reset_unknown, TPIDR_EL1 },
vcpu_set_reg(vcpu, KVM_ARM64_SYS_REG(SYS_TPIDR_EL1), vcpu->id);