#define CNTPCT_LO      0x08
 #define CNTFRQ         0x10
 #define CNTP_CVAL_LO   0x20
-#define CNTP_TVAL      0x28
 #define CNTP_CTL       0x2c
 #define CNTV_CVAL_LO   0x30
-#define CNTV_TVAL      0x38
 #define CNTV_CTL       0x3c
 
 static unsigned arch_timers_present __initdata;
                case ARCH_TIMER_REG_CTRL:
                        writel_relaxed((u32)val, timer->base + CNTP_CTL);
                        break;
-               case ARCH_TIMER_REG_TVAL:
-                       writel_relaxed((u32)val, timer->base + CNTP_TVAL);
-                       break;
                case ARCH_TIMER_REG_CVAL:
                        /*
                         * Not guaranteed to be atomic, so the timer
                case ARCH_TIMER_REG_CTRL:
                        writel_relaxed((u32)val, timer->base + CNTV_CTL);
                        break;
-               case ARCH_TIMER_REG_TVAL:
-                       writel_relaxed((u32)val, timer->base + CNTV_TVAL);
-                       break;
                case ARCH_TIMER_REG_CVAL:
                        /* Same restriction as above */
                        writeq_relaxed(val, timer->base + CNTV_CVAL_LO);