# CONFIG_ARCH_HAS_KCOV is not set
