[PATCH v2 28/31] arm64: Generic timers support

On Tuesday 14 August 2012, Catalin Marinas wrote:

+static void arch_timer_reg_write(int reg, u32 val)
+{
+       switch (reg) {
+       case ARCH_TIMER_REG_CTRL:
+               asm volatile("msr cntp_ctl_el0,  %0" : : "r" (val));
+               break;
+       case ARCH_TIMER_REG_TVAL:
+               asm volatile("msr cntp_tval_el0, %0" : : "r" (val));
+               break;
+       default:
+               BUG();
+       }
+
+       isb();
+}
+
+static u32 arch_timer_reg_read(int reg)
+{
+       u32 val;
+
+       switch (reg) {
+       case ARCH_TIMER_REG_CTRL:
+               asm volatile("mrs %0,  cntp_ctl_el0" : "=r" (val));
+               break;
+       case ARCH_TIMER_REG_FREQ:
+               asm volatile("mrs %0,   cntfrq_el0" : "=r" (val));
+               break;
+       case ARCH_TIMER_REG_TVAL:
+               asm volatile("mrs %0, cntp_tval_el0" : "=r" (val));
+               break;
+       default:
+               BUG();
+       }
+
+       return val;
+}

Are the inline assemblies the only things in this driver that are
specific to AArch64?
Are you planning to use the same file for 32 bit ARM as well, e.g.
when running a 32 bit guest kernel on a 64 bit host?

	Arnd