linux_dsm_epyc7002/arch/s390/include/asm/vtime.h