timer_irq
void timer_irq(struct s_smc *smc)
#define timer_irq(ctx) (timer_vm_data(ctx)->ppi[arch_timer_ctx_index(ctx)])