H. Peter Anvin | 05e4d31 | 2008-10-23 00:01:39 -0700 | [diff] [blame] | 1 | #ifndef _ASM_X86_XEN_PAGE_H |
| 2 | #define _ASM_X86_XEN_PAGE_H |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 3 | |
Jeremy Fitzhardinge | ecbf29c | 2008-12-16 12:37:07 -0800 | [diff] [blame] | 4 | #include <linux/kernel.h> |
| 5 | #include <linux/types.h> |
| 6 | #include <linux/spinlock.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 7 | #include <linux/pfn.h> |
Ian Campbell | 7e77506 | 2010-09-30 12:37:26 +0100 | [diff] [blame] | 8 | #include <linux/mm.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 9 | |
| 10 | #include <asm/uaccess.h> |
Jeremy Fitzhardinge | ecbf29c | 2008-12-16 12:37:07 -0800 | [diff] [blame] | 11 | #include <asm/page.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 12 | #include <asm/pgtable.h> |
| 13 | |
Jeremy Fitzhardinge | ecbf29c | 2008-12-16 12:37:07 -0800 | [diff] [blame] | 14 | #include <xen/interface/xen.h> |
Stefano Stabellini | 0930bba | 2011-09-29 11:57:56 +0100 | [diff] [blame] | 15 | #include <xen/grant_table.h> |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 16 | #include <xen/features.h> |
| 17 | |
| 18 | /* Xen machine address */ |
| 19 | typedef struct xmaddr { |
| 20 | phys_addr_t maddr; |
| 21 | } xmaddr_t; |
| 22 | |
| 23 | /* Xen pseudo-physical address */ |
| 24 | typedef struct xpaddr { |
| 25 | phys_addr_t paddr; |
| 26 | } xpaddr_t; |
| 27 | |
| 28 | #define XMADDR(x) ((xmaddr_t) { .maddr = (x) }) |
| 29 | #define XPADDR(x) ((xpaddr_t) { .paddr = (x) }) |
| 30 | |
| 31 | /**** MACHINE <-> PHYSICAL CONVERSION MACROS ****/ |
| 32 | #define INVALID_P2M_ENTRY (~0UL) |
Konrad Rzeszutek Wilk | f4cec35 | 2011-01-18 20:15:21 -0500 | [diff] [blame] | 33 | #define FOREIGN_FRAME_BIT (1UL<<(BITS_PER_LONG-1)) |
| 34 | #define IDENTITY_FRAME_BIT (1UL<<(BITS_PER_LONG-2)) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 35 | #define FOREIGN_FRAME(m) ((m) | FOREIGN_FRAME_BIT) |
Konrad Rzeszutek Wilk | f4cec35 | 2011-01-18 20:15:21 -0500 | [diff] [blame] | 36 | #define IDENTITY_FRAME(m) ((m) | IDENTITY_FRAME_BIT) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 37 | |
Jeremy Fitzhardinge | 8006ec3 | 2008-05-26 23:31:19 +0100 | [diff] [blame] | 38 | /* Maximum amount of memory we can handle in a domain in pages */ |
| 39 | #define MAX_DOMAIN_PAGES \ |
| 40 | ((unsigned long)((u64)CONFIG_XEN_MAX_DOMAIN_MEMORY * 1024 * 1024 * 1024 / PAGE_SIZE)) |
| 41 | |
Ian Campbell | 7e77506 | 2010-09-30 12:37:26 +0100 | [diff] [blame] | 42 | extern unsigned long *machine_to_phys_mapping; |
Jan Beulich | ccbcdf7 | 2011-08-16 15:07:41 +0100 | [diff] [blame] | 43 | extern unsigned long machine_to_phys_nr; |
Juergen Gross | 5b8e7d8 | 2014-11-28 11:53:55 +0100 | [diff] [blame] | 44 | extern unsigned long *xen_p2m_addr; |
| 45 | extern unsigned long xen_p2m_size; |
| 46 | extern unsigned long xen_max_p2m_pfn; |
Jeremy Fitzhardinge | 8006ec3 | 2008-05-26 23:31:19 +0100 | [diff] [blame] | 47 | |
Jeremy Fitzhardinge | d451bb7 | 2008-05-26 23:31:18 +0100 | [diff] [blame] | 48 | extern unsigned long get_phys_to_machine(unsigned long pfn); |
Jeremy Fitzhardinge | c379806 | 2010-08-27 13:42:04 -0700 | [diff] [blame] | 49 | extern bool set_phys_to_machine(unsigned long pfn, unsigned long mfn); |
Konrad Rzeszutek Wilk | 6eaa412 | 2011-01-18 20:09:41 -0500 | [diff] [blame] | 50 | extern bool __set_phys_to_machine(unsigned long pfn, unsigned long mfn); |
Konrad Rzeszutek Wilk | f4cec35 | 2011-01-18 20:15:21 -0500 | [diff] [blame] | 51 | extern unsigned long set_phys_range_identity(unsigned long pfn_s, |
| 52 | unsigned long pfn_e); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 53 | |
Zoltan Kiss | 1429d46 | 2014-02-27 15:55:30 +0000 | [diff] [blame] | 54 | extern int set_foreign_p2m_mapping(struct gnttab_map_grant_ref *map_ops, |
| 55 | struct gnttab_map_grant_ref *kmap_ops, |
| 56 | struct page **pages, unsigned int count); |
Zoltan Kiss | 1429d46 | 2014-02-27 15:55:30 +0000 | [diff] [blame] | 57 | extern int clear_foreign_p2m_mapping(struct gnttab_unmap_grant_ref *unmap_ops, |
David Vrabel | 853d028 | 2015-01-05 14:13:41 +0000 | [diff] [blame^] | 58 | struct gnttab_unmap_grant_ref *kunmap_ops, |
Zoltan Kiss | 1429d46 | 2014-02-27 15:55:30 +0000 | [diff] [blame] | 59 | struct page **pages, unsigned int count); |
Jeremy Fitzhardinge | 448f2831 | 2010-12-15 13:19:33 +0000 | [diff] [blame] | 60 | extern unsigned long m2p_find_override_pfn(unsigned long mfn, unsigned long pfn); |
| 61 | |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 62 | /* |
Juergen Gross | 90fff3e | 2014-12-05 13:28:04 +0100 | [diff] [blame] | 63 | * Helper functions to write or read unsigned long values to/from |
| 64 | * memory, when the access may fault. |
| 65 | */ |
| 66 | static inline int xen_safe_write_ulong(unsigned long *addr, unsigned long val) |
| 67 | { |
| 68 | return __put_user(val, (unsigned long __user *)addr); |
| 69 | } |
| 70 | |
| 71 | static inline int xen_safe_read_ulong(unsigned long *addr, unsigned long *val) |
| 72 | { |
| 73 | return __get_user(*val, (unsigned long __user *)addr); |
| 74 | } |
| 75 | |
| 76 | /* |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 77 | * When to use pfn_to_mfn(), __pfn_to_mfn() or get_phys_to_machine(): |
| 78 | * - pfn_to_mfn() returns either INVALID_P2M_ENTRY or the mfn. No indicator |
| 79 | * bits (identity or foreign) are set. |
| 80 | * - __pfn_to_mfn() returns the found entry of the p2m table. A possibly set |
| 81 | * identity or foreign indicator will be still set. __pfn_to_mfn() is |
Juergen Gross | 054954e | 2014-11-28 11:53:58 +0100 | [diff] [blame] | 82 | * encapsulating get_phys_to_machine() which is called in special cases only. |
| 83 | * - get_phys_to_machine() is to be called by __pfn_to_mfn() only in special |
| 84 | * cases needing an extended handling. |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 85 | */ |
| 86 | static inline unsigned long __pfn_to_mfn(unsigned long pfn) |
| 87 | { |
Juergen Gross | 054954e | 2014-11-28 11:53:58 +0100 | [diff] [blame] | 88 | unsigned long mfn; |
| 89 | |
| 90 | if (pfn < xen_p2m_size) |
| 91 | mfn = xen_p2m_addr[pfn]; |
| 92 | else if (unlikely(pfn < xen_max_p2m_pfn)) |
| 93 | return get_phys_to_machine(pfn); |
| 94 | else |
| 95 | return IDENTITY_FRAME(pfn); |
| 96 | |
| 97 | if (unlikely(mfn == INVALID_P2M_ENTRY)) |
| 98 | return get_phys_to_machine(pfn); |
| 99 | |
| 100 | return mfn; |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 101 | } |
| 102 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 103 | static inline unsigned long pfn_to_mfn(unsigned long pfn) |
| 104 | { |
Jeremy Fitzhardinge | cfd8951 | 2010-08-31 14:06:22 -0700 | [diff] [blame] | 105 | unsigned long mfn; |
| 106 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 107 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 108 | return pfn; |
| 109 | |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 110 | mfn = __pfn_to_mfn(pfn); |
Jeremy Fitzhardinge | cfd8951 | 2010-08-31 14:06:22 -0700 | [diff] [blame] | 111 | |
| 112 | if (mfn != INVALID_P2M_ENTRY) |
Konrad Rzeszutek Wilk | f4cec35 | 2011-01-18 20:15:21 -0500 | [diff] [blame] | 113 | mfn &= ~(FOREIGN_FRAME_BIT | IDENTITY_FRAME_BIT); |
Jeremy Fitzhardinge | cfd8951 | 2010-08-31 14:06:22 -0700 | [diff] [blame] | 114 | |
| 115 | return mfn; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | static inline int phys_to_machine_mapping_valid(unsigned long pfn) |
| 119 | { |
| 120 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 121 | return 1; |
| 122 | |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 123 | return __pfn_to_mfn(pfn) != INVALID_P2M_ENTRY; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 124 | } |
| 125 | |
David Vrabel | 0160676 | 2013-09-13 15:13:30 +0100 | [diff] [blame] | 126 | static inline unsigned long mfn_to_pfn_no_overrides(unsigned long mfn) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 127 | { |
| 128 | unsigned long pfn; |
David Vrabel | 0160676 | 2013-09-13 15:13:30 +0100 | [diff] [blame] | 129 | int ret; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 130 | |
| 131 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 132 | return mfn; |
| 133 | |
David Vrabel | 0160676 | 2013-09-13 15:13:30 +0100 | [diff] [blame] | 134 | if (unlikely(mfn >= machine_to_phys_nr)) |
| 135 | return ~0; |
| 136 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 137 | /* |
| 138 | * The array access can fail (e.g., device space beyond end of RAM). |
| 139 | * In such cases it doesn't matter what we return (we return garbage), |
| 140 | * but we must handle the fault without crashing! |
| 141 | */ |
Juergen Gross | 90fff3e | 2014-12-05 13:28:04 +0100 | [diff] [blame] | 142 | ret = xen_safe_read_ulong(&machine_to_phys_mapping[mfn], &pfn); |
Stefano Stabellini | 706cc9d | 2011-02-02 18:32:59 +0000 | [diff] [blame] | 143 | if (ret < 0) |
David Vrabel | 0160676 | 2013-09-13 15:13:30 +0100 | [diff] [blame] | 144 | return ~0; |
| 145 | |
| 146 | return pfn; |
| 147 | } |
| 148 | |
| 149 | static inline unsigned long mfn_to_pfn(unsigned long mfn) |
| 150 | { |
| 151 | unsigned long pfn; |
| 152 | |
| 153 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 154 | return mfn; |
| 155 | |
| 156 | pfn = mfn_to_pfn_no_overrides(mfn); |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 157 | if (__pfn_to_mfn(pfn) != mfn) { |
Stefano Stabellini | 706cc9d | 2011-02-02 18:32:59 +0000 | [diff] [blame] | 158 | /* |
| 159 | * If this appears to be a foreign mfn (because the pfn |
| 160 | * doesn't map back to the mfn), then check the local override |
| 161 | * table to see if there's a better pfn to use. |
| 162 | * |
| 163 | * m2p_find_override_pfn returns ~0 if it doesn't find anything. |
| 164 | */ |
| 165 | pfn = m2p_find_override_pfn(mfn, ~0); |
David Vrabel | 0160676 | 2013-09-13 15:13:30 +0100 | [diff] [blame] | 166 | } |
Stefano Stabellini | 706cc9d | 2011-02-02 18:32:59 +0000 | [diff] [blame] | 167 | |
Zoltan Kiss | 1429d46 | 2014-02-27 15:55:30 +0000 | [diff] [blame] | 168 | /* |
Stefano Stabellini | 706cc9d | 2011-02-02 18:32:59 +0000 | [diff] [blame] | 169 | * pfn is ~0 if there are no entries in the m2p for mfn or if the |
| 170 | * entry doesn't map back to the mfn and m2p_override doesn't have a |
| 171 | * valid entry for it. |
Jeremy Fitzhardinge | 448f2831 | 2010-12-15 13:19:33 +0000 | [diff] [blame] | 172 | */ |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 173 | if (pfn == ~0 && __pfn_to_mfn(mfn) == IDENTITY_FRAME(mfn)) |
Stefano Stabellini | 706cc9d | 2011-02-02 18:32:59 +0000 | [diff] [blame] | 174 | pfn = mfn; |
Jeremy Fitzhardinge | 448f2831 | 2010-12-15 13:19:33 +0000 | [diff] [blame] | 175 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 176 | return pfn; |
| 177 | } |
| 178 | |
| 179 | static inline xmaddr_t phys_to_machine(xpaddr_t phys) |
| 180 | { |
| 181 | unsigned offset = phys.paddr & ~PAGE_MASK; |
Jeremy Fitzhardinge | 947d049 | 2008-09-11 01:31:48 -0700 | [diff] [blame] | 182 | return XMADDR(PFN_PHYS(pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 183 | } |
| 184 | |
| 185 | static inline xpaddr_t machine_to_phys(xmaddr_t machine) |
| 186 | { |
| 187 | unsigned offset = machine.maddr & ~PAGE_MASK; |
Jeremy Fitzhardinge | 947d049 | 2008-09-11 01:31:48 -0700 | [diff] [blame] | 188 | return XPADDR(PFN_PHYS(mfn_to_pfn(PFN_DOWN(machine.maddr))) | offset); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 189 | } |
| 190 | |
| 191 | /* |
| 192 | * We detect special mappings in one of two ways: |
| 193 | * 1. If the MFN is an I/O page then Xen will set the m2p entry |
| 194 | * to be outside our maximum possible pseudophys range. |
| 195 | * 2. If the MFN belongs to a different domain then we will certainly |
| 196 | * not have MFN in our p2m table. Conversely, if the page is ours, |
| 197 | * then we'll have p2m(m2p(MFN))==MFN. |
| 198 | * If we detect a special mapping then it doesn't have a 'struct page'. |
| 199 | * We force !pfn_valid() by returning an out-of-range pointer. |
| 200 | * |
| 201 | * NB. These checks require that, for any MFN that is not in our reservation, |
| 202 | * there is no PFN such that p2m(PFN) == MFN. Otherwise we can get confused if |
| 203 | * we are foreign-mapping the MFN, and the other domain as m2p(MFN) == PFN. |
| 204 | * Yikes! Various places must poke in INVALID_P2M_ENTRY for safety. |
| 205 | * |
| 206 | * NB2. When deliberately mapping foreign pages into the p2m table, you *must* |
| 207 | * use FOREIGN_FRAME(). This will cause pte_pfn() to choke on it, as we |
| 208 | * require. In all the cases we care about, the FOREIGN_FRAME bit is |
| 209 | * masked (e.g., pfn_to_mfn()) so behaviour there is correct. |
| 210 | */ |
| 211 | static inline unsigned long mfn_to_local_pfn(unsigned long mfn) |
| 212 | { |
Mukesh Rathor | fc590ef | 2013-12-13 12:09:28 -0500 | [diff] [blame] | 213 | unsigned long pfn; |
| 214 | |
| 215 | if (xen_feature(XENFEAT_auto_translated_physmap)) |
| 216 | return mfn; |
| 217 | |
| 218 | pfn = mfn_to_pfn(mfn); |
Juergen Gross | 0aad568 | 2014-11-28 11:53:57 +0100 | [diff] [blame] | 219 | if (__pfn_to_mfn(pfn) != mfn) |
Jeremy Fitzhardinge | c0011db | 2010-02-04 14:46:34 -0800 | [diff] [blame] | 220 | return -1; /* force !pfn_valid() */ |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 221 | return pfn; |
| 222 | } |
| 223 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 224 | /* VIRT <-> MACHINE conversion */ |
| 225 | #define virt_to_machine(v) (phys_to_machine(XPADDR(__pa(v)))) |
Alex Nixon | b40bf53 | 2009-02-09 12:05:46 -0800 | [diff] [blame] | 226 | #define virt_to_pfn(v) (PFN_DOWN(__pa(v))) |
| 227 | #define virt_to_mfn(v) (pfn_to_mfn(virt_to_pfn(v))) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 228 | #define mfn_to_virt(m) (__va(mfn_to_pfn(m) << PAGE_SHIFT)) |
| 229 | |
| 230 | static inline unsigned long pte_mfn(pte_t pte) |
| 231 | { |
Jeremy Fitzhardinge | 59438c9 | 2008-07-21 22:59:42 -0700 | [diff] [blame] | 232 | return (pte.pte & PTE_PFN_MASK) >> PAGE_SHIFT; |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 233 | } |
| 234 | |
| 235 | static inline pte_t mfn_pte(unsigned long page_nr, pgprot_t pgprot) |
| 236 | { |
| 237 | pte_t pte; |
| 238 | |
| 239 | pte.pte = ((phys_addr_t)page_nr << PAGE_SHIFT) | |
Jeremy Fitzhardinge | b534816 | 2009-02-04 18:33:38 -0800 | [diff] [blame] | 240 | massage_pgprot(pgprot); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 241 | |
| 242 | return pte; |
| 243 | } |
| 244 | |
| 245 | static inline pteval_t pte_val_ma(pte_t pte) |
| 246 | { |
| 247 | return pte.pte; |
| 248 | } |
| 249 | |
| 250 | static inline pte_t __pte_ma(pteval_t x) |
| 251 | { |
| 252 | return (pte_t) { .pte = x }; |
| 253 | } |
| 254 | |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 255 | #define pmd_val_ma(v) ((v).pmd) |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 256 | #ifdef __PAGETABLE_PUD_FOLDED |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 257 | #define pud_val_ma(v) ((v).pgd.pgd) |
Jeremy Fitzhardinge | f6e5873 | 2008-07-08 15:06:38 -0700 | [diff] [blame] | 258 | #else |
| 259 | #define pud_val_ma(v) ((v).pud) |
| 260 | #endif |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 261 | #define __pmd_ma(x) ((pmd_t) { (x) } ) |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 262 | |
| 263 | #define pgd_val_ma(x) ((x).pgd) |
| 264 | |
Jeremy Fitzhardinge | eba3ff8 | 2009-02-09 12:05:49 -0800 | [diff] [blame] | 265 | void xen_set_domain_pte(pte_t *ptep, pte_t pteval, unsigned domid); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 266 | |
Jeremy Fitzhardinge | ce803e7 | 2008-07-08 15:06:55 -0700 | [diff] [blame] | 267 | xmaddr_t arbitrary_virt_to_machine(void *address); |
Jeremy Fitzhardinge | 9976b39 | 2009-02-27 09:19:26 -0800 | [diff] [blame] | 268 | unsigned long arbitrary_virt_to_mfn(void *vaddr); |
Isaku Yamahata | 20e71f2e | 2008-04-02 10:53:58 -0700 | [diff] [blame] | 269 | void make_lowmem_page_readonly(void *vaddr); |
| 270 | void make_lowmem_page_readwrite(void *vaddr); |
| 271 | |
Stefano Stabellini | 3216dce | 2013-02-19 13:59:19 +0000 | [diff] [blame] | 272 | #define xen_remap(cookie, size) ioremap((cookie), (size)); |
Konrad Rzeszutek Wilk | efaf30a | 2014-01-06 10:40:36 -0500 | [diff] [blame] | 273 | #define xen_unmap(cookie) iounmap((cookie)) |
Stefano Stabellini | 3216dce | 2013-02-19 13:59:19 +0000 | [diff] [blame] | 274 | |
Stefano Stabellini | a4dba13 | 2014-11-21 11:07:39 +0000 | [diff] [blame] | 275 | static inline bool xen_arch_need_swiotlb(struct device *dev, |
| 276 | unsigned long pfn, |
| 277 | unsigned long mfn) |
| 278 | { |
| 279 | return false; |
| 280 | } |
| 281 | |
H. Peter Anvin | 05e4d31 | 2008-10-23 00:01:39 -0700 | [diff] [blame] | 282 | #endif /* _ASM_X86_XEN_PAGE_H */ |