internal_add_vtimer  350 arch/s390/kernel/vtime.c 	internal_add_vtimer(timer);
internal_add_vtimer  387 arch/s390/kernel/vtime.c 	internal_add_vtimer(timer);