Warning: This file is not a C or C++ file. It does not have highlighting.
| 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
|---|---|
| 2 | #ifndef _ASM_ARM_XEN_EVENTS_H |
| 3 | #define _ASM_ARM_XEN_EVENTS_H |
| 4 | |
| 5 | #include <asm/ptrace.h> |
| 6 | #include <asm/atomic.h> |
| 7 | |
| 8 | enum ipi_vector { |
| 9 | XEN_PLACEHOLDER_VECTOR, |
| 10 | |
| 11 | /* Xen IPIs go here */ |
| 12 | XEN_NR_IPIS, |
| 13 | }; |
| 14 | |
| 15 | static inline int xen_irqs_disabled(struct pt_regs *regs) |
| 16 | { |
| 17 | return raw_irqs_disabled_flags(regs->ARM_cpsr); |
| 18 | } |
| 19 | |
| 20 | #define xchg_xen_ulong(ptr, val) atomic64_xchg(container_of((long long*)(ptr),\ |
| 21 | atomic64_t, \ |
| 22 | counter), (val)) |
| 23 | |
| 24 | /* Rebind event channel is supported by default */ |
| 25 | static inline bool xen_support_evtchn_rebind(void) |
| 26 | { |
| 27 | return true; |
| 28 | } |
| 29 | |
| 30 | #endif /* _ASM_ARM_XEN_EVENTS_H */ |
| 31 |
Warning: This file is not a C or C++ file. It does not have highlighting.