# CONFIG_SW_SYNC is not set