On 31.07.25 11:25, Grygorii Strashko wrote:
Hi Juergen, Dario, George,

Sorry that disturbing you.
Would it be possible to take a look at this patch as it
has change in common/sched/core.c?

On 18.07.25 13:11, Grygorii Strashko wrote:
From: Grygorii Strashko <grygorii_stras...@epam.com>

On platforms without PIRQ support evtchn_move_pirqs()/send_guest_pirq()
functions are unreachable (Misra rule 2.1).

Move these function under CONFIG_HAS_PIRQ ifdefs to fix Misra rule 2.1
violation and resolve call of evtchn_move_pirqs() from common /sched/core.c
vcpu_move_irqs() code by moving evtchn_move_pirqs() into x86
arch_move_irqs() callback (which is converted to define).

Signed-off-by: Grygorii Strashko <grygorii_stras...@epam.com>

Acked-by: Juergen Gross <jgr...@suse.com> # xen/sched


Juergen

Attachment: OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature

Reply via email to