linux/arch/um/include/shared/timer-internal.h