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. */ 51 void force_evtchn_callback(void); 52 53 extern int gdtset; 54 55 extern shared_info_t *HYPERVISOR_shared_info; 56 57 enum xen_domain_type { 58 XEN_NATIVE, /* running on bare hardware */ 59 XEN_PV_DOMAIN, /* running in a PV domain */ 60 XEN_HVM_DOMAIN, /* running in a Xen hvm domain */ 61 }; 62 63 extern enum xen_domain_type xen_domain_type; 64 65 static inline int 66 xen_domain(void) 67 { 68 return (xen_domain_type != XEN_NATIVE); 69 } 70 71 static inline int 72 xen_pv_domain(void) 73 { 74 return (xen_domain_type == XEN_PV_DOMAIN); 75 } 76 77 static inline int 78 xen_hvm_domain(void) 79 { 80 return (xen_domain_type == XEN_HVM_DOMAIN); 81 } 82 83 #ifndef xen_mb 84 #define xen_mb() mb() 85 #endif 86 #ifndef xen_rmb 87 #define xen_rmb() rmb() 88 #endif 89 #ifndef xen_wmb 90 #define xen_wmb() wmb() 91 #endif 92 93 #endif /* !__ASSEMBLY__ */ 94 95 #endif /* _XEN_XEN_OS_H_ */ 96