1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #ifndef __ASM_PPC_EVENT_H__
3 #define __ASM_PPC_EVENT_H__
4 
5 #include <xen/lib.h>
6 
7 /* TODO: implement */
vcpu_kick(struct vcpu * v)8 static inline void vcpu_kick(struct vcpu *v) { BUG_ON("unimplemented"); }
vcpu_mark_events_pending(struct vcpu * v)9 static inline void vcpu_mark_events_pending(struct vcpu *v) { BUG_ON("unimplemented"); }
vcpu_update_evtchn_irq(struct vcpu * v)10 static inline void vcpu_update_evtchn_irq(struct vcpu *v) { BUG_ON("unimplemented"); }
vcpu_block_unless_event_pending(struct vcpu * v)11 static inline void vcpu_block_unless_event_pending(struct vcpu *v) { BUG_ON("unimplemented"); }
12 
vcpu_event_delivery_is_enabled(struct vcpu * v)13 static inline int vcpu_event_delivery_is_enabled(struct vcpu *v)
14 {
15     BUG_ON("unimplemented");
16     return 0;
17 }
18 
19 /* No arch specific virq definition now. Default to global. */
arch_get_virq_type(unsigned int virq)20 static inline enum virq_type arch_get_virq_type(unsigned int virq)
21 {
22     return VIRQ_GLOBAL;
23 }
24 
local_events_need_delivery(void)25 static inline int local_events_need_delivery(void)
26 {
27     BUG_ON("unimplemented");
28     return 0;
29 }
30 
local_event_delivery_enable(void)31 static inline void local_event_delivery_enable(void)
32 {
33     BUG_ON("unimplemented");
34 }
35 
36 #endif /* __ASM_PPC_EVENT_H__ */
37