__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);