virt_timer_expire   24 arch/s390/kernel/vtime.c static void virt_timer_expire(void);
virt_timer_expire  213 arch/s390/kernel/vtime.c 		virt_timer_expire();