# CONFIG_ARCH_HAS_GCOV_PROFILE_ALL is not set
