timer_irq - Linux

Symbol: timer_irq

drivers/net/fddi/skfp/drvfbi.c

void timer_irq(struct s_smc *smc)

include/kvm/arm_arch_timer.h

#define timer_irq(ctx) (timer_vm_data(ctx)->ppi[arch_timer_ctx_index(ctx)])