blob: 818cad87db6750441c8ef79b47a6acd8b146156b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
/******************************************************************************
* compat.h
*/
#ifdef CONFIG_COMPAT
#define COMPAT_BITS_PER_LONG 32
typedef uint32_t compat_ptr_t;
typedef unsigned long full_ptr_t;
#endif
struct domain;
#ifdef CONFIG_PV32
int switch_compat(struct domain *);
#else
#include <xen/errno.h>
static inline int switch_compat(struct domain *d) { return -EOPNOTSUPP; }
#endif
|