1/******************************************************************************
2 * xen/xen-os.h
3 *
4 * Random collection of macros and definition
5 *
6 * Copyright (c) 2003, 2004 Keir Fraser (on behalf of the Xen team)
7 * All rights reserved.
8 *
9 * Permission is hereby granted, free of charge, to any person obtaining a copy
10 * of this software and associated documentation files (the "Software"), to
11 * deal in the Software without restriction, including without limitation the
12 * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
13 * sell copies of the Software, and to permit persons to whom the Software is
14 * furnished to do so, subject to the following conditions:
15 *
16 * The above copyright notice and this permission notice shall be included in
17 * all copies or substantial portions of the Software.
18 *
19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
24 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
25 * DEALINGS IN THE SOFTWARE.
26 *
27 * $FreeBSD$
28 */
29
30#ifndef _XEN_XEN_OS_H_
31#define _XEN_XEN_OS_H_
32
33#if !defined(__XEN_INTERFACE_VERSION__)
34#define  __XEN_INTERFACE_VERSION__ 0x00030208
35#endif
36
37#define GRANT_REF_INVALID   0xffffffff
38
39#ifdef LOCORE
40#define __ASSEMBLY__
41#endif
42
43#include <machine/xen/xen-os.h>
44
45#include <xen/interface/xen.h>
46
47/* Everything below this point is not included by assembler (.S) files. */
48#ifndef __ASSEMBLY__
49
50/* Force a proper event-channel callback from Xen. */
51void force_evtchn_callback(void);
52
53extern shared_info_t *HYPERVISOR_shared_info;
54
55enum xen_domain_type {
56	XEN_NATIVE,             /* running on bare hardware    */
57	XEN_PV_DOMAIN,          /* running in a PV domain      */
58	XEN_HVM_DOMAIN,         /* running in a Xen hvm domain */
59};
60
61extern enum xen_domain_type xen_domain_type;
62
63static inline int
64xen_domain(void)
65{
66	return (xen_domain_type != XEN_NATIVE);
67}
68
69static inline int
70xen_pv_domain(void)
71{
72	return (xen_domain_type == XEN_PV_DOMAIN);
73}
74
75static inline int
76xen_hvm_domain(void)
77{
78	return (xen_domain_type == XEN_HVM_DOMAIN);
79}
80
81#ifndef xen_mb
82#define xen_mb() mb()
83#endif
84#ifndef xen_rmb
85#define xen_rmb() rmb()
86#endif
87#ifndef xen_wmb
88#define xen_wmb() wmb()
89#endif
90
91#endif /* !__ASSEMBLY__ */
92
93#endif /* _XEN_XEN_OS_H_ */
94