# CONFIG_GENERIC_GETTIMEOFDAY is not set
