1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /* Derived from xen/arch/arm/include/asm/monitor.h */
3 #ifndef __ASM_PPC_MONITOR_H__
4 #define __ASM_PPC_MONITOR_H__
5 
6 #include <public/domctl.h>
7 #include <xen/errno.h>
8 
9 #include <asm-generic/monitor.h>
10 
arch_monitor_get_capabilities(struct domain * d)11 static inline uint32_t arch_monitor_get_capabilities(struct domain *d)
12 {
13     BUG_ON("unimplemented");
14     return 0;
15 }
16 
17 #endif /* __ASM_PPC_MONITOR_H__ */
18