1 /* $NetBSD: xenpmap.h,v 1.42 2019/10/30 07:40:06 maxv 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_mcast_tlbflush(kcpuset_t *); 53 void xen_bcast_tlbflush(void); 54 void xen_mcast_invlpg(vaddr_t, kcpuset_t *); 55 void xen_bcast_invlpg(vaddr_t); 56 void xen_copy_page(paddr_t, paddr_t); 57 void xen_pagezero(paddr_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 void xen_kpm_sync(struct pmap *, int); 65 66 #define xpq_queue_pin_l1_table(pa) \ 67 xpq_queue_pin_table(pa, MMUEXT_PIN_L1_TABLE) 68 #define xpq_queue_pin_l2_table(pa) \ 69 xpq_queue_pin_table(pa, MMUEXT_PIN_L2_TABLE) 70 #define xpq_queue_pin_l3_table(pa) \ 71 xpq_queue_pin_table(pa, MMUEXT_PIN_L3_TABLE) 72 #define xpq_queue_pin_l4_table(pa) \ 73 xpq_queue_pin_table(pa, MMUEXT_PIN_L4_TABLE) 74 75 #ifdef XENPV 76 extern unsigned long *xpmap_phys_to_machine_mapping; 77 78 static __inline paddr_t 79 xpmap_mtop_masked(paddr_t mpa) 80 { 81 return ( 82 (paddr_t)machine_to_phys_mapping[mpa >> PAGE_SHIFT] << PAGE_SHIFT); 83 } 84 85 static __inline paddr_t 86 xpmap_mtop(paddr_t mpa) 87 { 88 return (xpmap_mtop_masked(mpa) | (mpa & ~PTE_4KFRAME)); 89 } 90 91 static __inline paddr_t 92 xpmap_ptom_masked(paddr_t ppa) 93 { 94 return ( 95 (paddr_t)xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] 96 << PAGE_SHIFT); 97 } 98 99 static __inline paddr_t 100 xpmap_ptom(paddr_t ppa) 101 { 102 return (xpmap_ptom_masked(ppa) | (ppa & ~PTE_4KFRAME)); 103 } 104 105 static __inline void 106 xpmap_ptom_map(paddr_t ppa, paddr_t mpa) 107 { 108 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] = mpa >> PAGE_SHIFT; 109 } 110 111 static __inline void 112 xpmap_ptom_unmap(paddr_t ppa) 113 { 114 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] = INVALID_P2M_ENTRY; 115 } 116 117 static __inline bool 118 xpmap_ptom_isvalid(paddr_t ppa) 119 { 120 return ( 121 xpmap_phys_to_machine_mapping[ppa >> PAGE_SHIFT] 122 != INVALID_P2M_ENTRY); 123 } 124 125 #endif /* XENPV */ 126 127 static inline void 128 MULTI_update_va_mapping( 129 multicall_entry_t *mcl, vaddr_t va, 130 pt_entry_t new_val, unsigned long flags) 131 { 132 mcl->op = __HYPERVISOR_update_va_mapping; 133 mcl->args[0] = va; 134 #if defined(__x86_64__) 135 mcl->args[1] = new_val; 136 mcl->args[2] = flags; 137 #else 138 mcl->args[1] = (new_val & 0xffffffff); 139 mcl->args[2] = (new_val >> 32); 140 mcl->args[3] = flags; 141 #endif 142 } 143 144 static inline void 145 MULTI_update_va_mapping_otherdomain( 146 multicall_entry_t *mcl, vaddr_t va, 147 pt_entry_t new_val, unsigned long flags, domid_t domid) 148 { 149 mcl->op = __HYPERVISOR_update_va_mapping_otherdomain; 150 mcl->args[0] = va; 151 #if defined(__x86_64__) 152 mcl->args[1] = new_val; 153 mcl->args[2] = flags; 154 mcl->args[3] = domid; 155 #else 156 mcl->args[1] = (new_val & 0xffffffff); 157 mcl->args[2] = (new_val >> 32); 158 mcl->args[3] = flags; 159 mcl->args[4] = domid; 160 #endif 161 } 162 #if defined(__x86_64__) 163 #define MULTI_UVMFLAGS_INDEX 2 164 #define MULTI_UVMDOMID_INDEX 3 165 #else 166 #define MULTI_UVMFLAGS_INDEX 3 167 #define MULTI_UVMDOMID_INDEX 4 168 #endif 169 170 #if defined(__x86_64__) 171 void xen_set_user_pgd(paddr_t); 172 #endif 173 174 #endif /* _XEN_XENPMAP_H_ */ 175