__mod_vtimer      397 arch/s390/kernel/vtime.c 	return __mod_vtimer(timer, expires, 0);
__mod_vtimer      406 arch/s390/kernel/vtime.c 	return __mod_vtimer(timer, expires, 1);