# CONFIG_NTSYNC is not set
