# CONFIG_TIME_NS is not set
