From 9dfcbabb68cfffd5c1bf4e481f1433a7beb02a29 Mon Sep 17 00:00:00 2001 From: Oleksii Kurochko Date: Tue, 9 Dec 2025 11:26:47 +0100 Subject: [PATCH] xen: move vcpu_kick() declaration to common header The vcpu_kick() declaration is duplicated across multiple architecture-specific event.h headers (ARM, x86, PPC). Remove the redundant declarations and move vcpu_kick() into the common xen/include/xen/sched.h header. Drop the definition of vcpu_kick() from ppc/include/asm/event.h, as it is already provided in ppc/stubs.c. Signed-off-by: Oleksii Kurochko Acked-by: Jan Beulich Acked-by: Michal Orzel --- xen/arch/arm/include/asm/event.h | 1 - xen/arch/ppc/include/asm/event.h | 1 - xen/arch/x86/include/asm/event.h | 1 - xen/include/xen/sched.h | 1 + 4 files changed, 1 insertion(+), 3 deletions(-) diff --git a/xen/arch/arm/include/asm/event.h b/xen/arch/arm/include/asm/event.h index 509157b2b3..e036ab7fb8 100644 --- a/xen/arch/arm/include/asm/event.h +++ b/xen/arch/arm/include/asm/event.h @@ -3,7 +3,6 @@ #include -void vcpu_kick(struct vcpu *v); void vcpu_mark_events_pending(struct vcpu *v); void vcpu_update_evtchn_irq(struct vcpu *v); void vcpu_block_unless_event_pending(struct vcpu *v); diff --git a/xen/arch/ppc/include/asm/event.h b/xen/arch/ppc/include/asm/event.h index 0f475c4b89..565eee1439 100644 --- a/xen/arch/ppc/include/asm/event.h +++ b/xen/arch/ppc/include/asm/event.h @@ -5,7 +5,6 @@ #include /* TODO: implement */ -static inline void vcpu_kick(struct vcpu *v) { BUG_ON("unimplemented"); } static inline void vcpu_mark_events_pending(struct vcpu *v) { BUG_ON("unimplemented"); } static inline void vcpu_update_evtchn_irq(struct vcpu *v) { BUG_ON("unimplemented"); } static inline void vcpu_block_unless_event_pending(struct vcpu *v) { BUG_ON("unimplemented"); } diff --git a/xen/arch/x86/include/asm/event.h b/xen/arch/x86/include/asm/event.h index 434f65007e..d13ce28167 100644 --- a/xen/arch/x86/include/asm/event.h +++ b/xen/arch/x86/include/asm/event.h @@ -11,7 +11,6 @@ #include -void vcpu_kick(struct vcpu *v); void vcpu_mark_events_pending(struct vcpu *v); static inline int vcpu_event_delivery_is_enabled(struct vcpu *v) diff --git a/xen/include/xen/sched.h b/xen/include/xen/sched.h index 52090b4f70..1f77e0869b 100644 --- a/xen/include/xen/sched.h +++ b/xen/include/xen/sched.h @@ -877,6 +877,7 @@ void vcpu_wake(struct vcpu *v); long vcpu_yield(void); void vcpu_sleep_nosync(struct vcpu *v); void vcpu_sleep_sync(struct vcpu *v); +void vcpu_kick(struct vcpu *v); /* * Force synchronisation of given VCPU's state. If it is currently descheduled,