Symbol: __mod_vtimer
arch/s390/kernel/vtime.c
385
return __mod_vtimer(timer, expires, 0);
arch/s390/kernel/vtime.c
394
return __mod_vtimer(timer, expires, 1);