NUM_TIMER_REGS    106 arch/arm/kvm/guest.c #define NUM_TIMER_REGS 3
NUM_TIMER_REGS    505 arch/arm64/kvm/guest.c #define NUM_TIMER_REGS 3