events.h (548B)
1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _ASM_ARM64_XEN_EVENTS_H 3#define _ASM_ARM64_XEN_EVENTS_H 4 5#include <asm/ptrace.h> 6#include <asm/atomic.h> 7 8enum ipi_vector { 9 XEN_PLACEHOLDER_VECTOR, 10 11 /* Xen IPIs go here */ 12 XEN_NR_IPIS, 13}; 14 15static inline int xen_irqs_disabled(struct pt_regs *regs) 16{ 17 return !interrupts_enabled(regs); 18} 19 20#define xchg_xen_ulong(ptr, val) xchg((ptr), (val)) 21 22/* Rebind event channel is supported by default */ 23static inline bool xen_support_evtchn_rebind(void) 24{ 25 return true; 26} 27 28#endif /* _ASM_ARM64_XEN_EVENTS_H */