1 /* $NetBSD: xenpmap.h,v 1.37 2012/06/30 22:50:36 jym Exp $ */ 2 3 /* 4 * 5 * Copyright (c) 2004 Christian Limpach. 6 * All rights reserved. 7 * 8 * Redistribution and use in source and binary forms, with or without 9 * modification, are permitted provided that the following conditions 10 * are met: 11 * 1. Redistributions of source code must retain the above copyright 12 * notice, this list of conditions and the following disclaimer. 13 * 2. Redistributions in binary form must reproduce the above copyright 14 * notice, this list of conditions and the following disclaimer in the 15 * documentation and/or other materials provided with the distribution. 16 * 17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27 */ 28 29 30 #ifndef _XEN_XENPMAP_H_ 31 #define _XEN_XENPMAP_H_ 32 33 #ifdef _KERNEL_OPT 34 #include "opt_xen.h" 35 #endif 36 37 #include <sys/types.h> 38 #include <sys/kcpuset.h> 39 40 #define INVALID_P2M_ENTRY (~0UL) 41 42 void xpq_queue_machphys_update(paddr_t, paddr_t); 43 void xpq_queue_invlpg(vaddr_t); 44 void xpq_queue_pte_update(paddr_t, pt_entry_t); 45 void xpq_queue_pt_switch(paddr_t); 46 void xpq_flush_queue(void); 47 void xpq_queue_set_ldt(vaddr_t, uint32_t); 48 void xpq_queue_tlb_flush(void); 49 void xpq_queue_pin_table(paddr_t, int); 50 void xpq_queue_unpin_table(paddr_t); 51 int xpq_update_foreign(paddr_t, pt_entry_t, int); 52 void xen_vcpu_mcast_invlpg(vaddr_t, vaddr_t, kcpuset_t *); 53 void xen_vcpu_bcast_invlpg(vaddr_t, vaddr_t); 54 void xen_mcast_tlbflush(kcpuset_t *); 55 void xen_bcast_tlbflush(void); 56 void xen_mcast_invlpg(vaddr_t, kcpuset_t *); 57 void xen_bcast_invlpg(vaddr_t); 58 59 void pmap_xen_resume(void); 60 void pmap_xen_suspend(void); 61 void pmap_map_recursive_entries(void); 62 void pmap_unmap_recursive_entries(void); 63 64 #if defined(PAE) || defined(__x86_64__) 65 void xen_kpm_sync(struct pmap *, int); 66 #endif /* PAE || __x86_64__ */ 67 68 #define xpq_queue_pin_l1_table(pa) \ 69 xpq_queue_pin_table(pa, MMUEXT_PIN_L1_TABLE) 70 #define xpq_queue_pin_l2_table(pa) \ 71 xpq_queue_pin_table(pa, MMUEXT_PIN_L2_TABLE) 72 #define xpq_queue_pin_l3_table(pa) \ 73 xpq_queue_pin_table(pa, MMUEXT_PIN_L3_TABLE) 74 #define xpq_queue_pin_l4_table(pa) \ 75 xpq_queue_pin_table(pa, MMUEXT_PIN_L4_TABLE) 76 77 extern unsigned long *xpmap_phys_to_machine_mapping; 78 79 static __inline paddr_t 80 xpmap_mtop_masked(paddr_t mpa) 81 { 82 return ( 83 (paddr_t)machine_to_phys_mapping[mpa >> PAGE_SHIFT] << PAGE_SHIFT); 84 } 85 86 static __inline paddr_t 87 xpmap_mtop(paddr_t mpa) 88 { 89 return (xpmap_mtop_masked(mpa) | (mpa & ~PG_FRAME)); 90 } 91 92 static __inline paddr_t 93 xpmap_ptom_masked(paddr_t ppa) 94 { 95 return ( 96 (paddr_t)xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] 97 << PAGE_SHIFT); 98 } 99 100 static __inline paddr_t 101 xpmap_ptom(paddr_t ppa) 102 { 103 return (xpmap_ptom_masked(ppa) | (ppa & ~PG_FRAME)); 104 } 105 106 static __inline void 107 xpmap_ptom_map(paddr_t ppa, paddr_t mpa) 108 { 109 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] = mpa >> PAGE_SHIFT; 110 } 111 112 static __inline void 113 xpmap_ptom_unmap(paddr_t ppa) 114 { 115 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] = INVALID_P2M_ENTRY; 116 } 117 118 static __inline bool 119 xpmap_ptom_isvalid(paddr_t ppa) 120 { 121 return ( 122 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] 123 != INVALID_P2M_ENTRY); 124 } 125 126 static inline void 127 MULTI_update_va_mapping( 128 multicall_entry_t *mcl, vaddr_t va, 129 pt_entry_t new_val, unsigned long flags) 130 { 131 mcl->op = __HYPERVISOR_update_va_mapping; 132 mcl->args[0] = va; 133 #if defined(__x86_64__) 134 mcl->args[1] = new_val; 135 mcl->args[2] = flags; 136 #else 137 mcl->args[1] = (new_val & 0xffffffff); 138 #ifdef PAE 139 mcl->args[2] = (new_val >> 32); 140 #else 141 mcl->args[2] = 0; 142 #endif 143 mcl->args[3] = flags; 144 #endif 145 } 146 147 static inline void 148 MULTI_update_va_mapping_otherdomain( 149 multicall_entry_t *mcl, vaddr_t va, 150 pt_entry_t new_val, unsigned long flags, domid_t domid) 151 { 152 mcl->op = __HYPERVISOR_update_va_mapping_otherdomain; 153 mcl->args[0] = va; 154 #if defined(__x86_64__) 155 mcl->args[1] = new_val; 156 mcl->args[2] = flags; 157 mcl->args[3] = domid; 158 #else 159 mcl->args[1] = (new_val & 0xffffffff); 160 #ifdef PAE 161 mcl->args[2] = (new_val >> 32); 162 #else 163 mcl->args[2] = 0; 164 #endif 165 mcl->args[3] = flags; 166 mcl->args[4] = domid; 167 #endif 168 } 169 #if defined(__x86_64__) 170 #define MULTI_UVMFLAGS_INDEX 2 171 #define MULTI_UVMDOMID_INDEX 3 172 #else 173 #define MULTI_UVMFLAGS_INDEX 3 174 #define MULTI_UVMDOMID_INDEX 4 175 #endif 176 177 #if defined(__x86_64__) 178 void xen_set_user_pgd(paddr_t); 179 #endif 180 181 #endif /* _XEN_XENPMAP_H_ */ 182