__add_vtimer      359 arch/s390/kernel/vtime.c 	__add_vtimer(timer, 0);
__add_vtimer      368 arch/s390/kernel/vtime.c 	__add_vtimer(timer, 1);