On 09.07.2025 22:12, Volodymyr Babchuk wrote: > --- a/xen/Kconfig > +++ b/xen/Kconfig > @@ -55,6 +55,10 @@ config CC_HAS_ASM_GOTO_OUTPUT > config CC_HAS_MCDC > def_bool $(cc-option,-fcondition-coverage) > > +# Compiler supports -fprofile-update=atomic for correct SMP handling > +config CC_HAS_ATOMIC_PROFILE > + def_bool $(cc-option,-fprofile-update=atomic)
I don't think this is needed, you can simply ... > --- a/xen/Rules.mk > +++ b/xen/Rules.mk > @@ -141,6 +141,10 @@ else > cov-cflags-$(CONFIG_CONDITION_COVERAGE) += -fcondition-coverage > endif > > +ifeq ($(CONFIG_CC_HAS_ATOMIC_PROFILE),y) > + cov-cflags-$(CONFIG_COVERAGE) += -fprofile-update=atomic ... use cc-option-add here, I expect. Jan
