1 /* SPDX-License-Identifier: GPL-2.0-only */
2 #ifndef ASM__RISCV__EVENT_H
3 #define ASM__RISCV__EVENT_H
4 
5 #include <xen/lib.h>
6 
7 void vcpu_mark_events_pending(struct vcpu *v);
8 
vcpu_event_delivery_is_enabled(struct vcpu * v)9 static inline int vcpu_event_delivery_is_enabled(struct vcpu *v)
10 {
11     BUG_ON("unimplemented");
12     return 0;
13 }
14 
local_events_need_delivery(void)15 static inline int local_events_need_delivery(void)
16 {
17     BUG_ON("unimplemented");
18     return 0;
19 }
20 
local_event_delivery_enable(void)21 static inline void local_event_delivery_enable(void)
22 {
23     BUG_ON("unimplemented");
24 }
25 
26 /* No arch specific virq definition now. Default to global. */
arch_get_virq_type(unsigned int virq)27 static inline enum virq_type arch_get_virq_type(unsigned int virq)
28 {
29     return VIRQ_GLOBAL;
30 }
31 
32 #endif /* ASM__RISCV__EVENT_H */
33 /*
34  * Local variables:
35  * mode: C
36  * c-file-style: "BSD"
37  * c-basic-offset: 4
38  * indent-tabs-mode: nil
39  * End:
40  */
41