1 /*- 2 * SPDX-License-Identifier: BSD-2-Clause-FreeBSD 3 * 4 * Copyright (c) 2013 Anish Gupta (akgupt3@gmail.com) 5 * All rights reserved. 6 * 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions 9 * are met: 10 * 1. Redistributions of source code must retain the above copyright 11 * notice unmodified, this list of conditions, and the following 12 * 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 #include <sys/cdefs.h> 30 __FBSDID("$FreeBSD$"); 31 32 #include <sys/param.h> 33 #include <sys/kernel.h> 34 #include <sys/systm.h> 35 #include <sys/sysctl.h> 36 37 #include <vm/vm.h> 38 #include <vm/pmap.h> 39 #include <vm/vm_extern.h> 40 41 #include "npt.h" 42 43 SYSCTL_DECL(_hw_vmm); 44 SYSCTL_NODE(_hw_vmm, OID_AUTO, npt, CTLFLAG_RW | CTLFLAG_MPSAFE, NULL, 45 NULL); 46 47 static int npt_flags; 48 SYSCTL_INT(_hw_vmm_npt, OID_AUTO, pmap_flags, CTLFLAG_RD, 49 &npt_flags, 0, NULL); 50 51 #define NPT_IPIMASK 0xFF 52 53 /* 54 * AMD nested page table init. 55 */ 56 int 57 svm_npt_init(int ipinum) 58 { 59 int enable_superpage = 1; 60 61 npt_flags = ipinum & NPT_IPIMASK; 62 TUNABLE_INT_FETCH("hw.vmm.npt.enable_superpage", &enable_superpage); 63 if (enable_superpage) 64 npt_flags |= PMAP_PDE_SUPERPAGE; 65 66 return (0); 67 } 68 69 static int 70 npt_pinit(pmap_t pmap) 71 { 72 73 return (pmap_pinit_type(pmap, PT_RVI, npt_flags)); 74 } 75 76 struct vmspace * 77 svm_npt_alloc(vm_offset_t min, vm_offset_t max) 78 { 79 80 return (vmspace_alloc(min, max, npt_pinit)); 81 } 82 83 void 84 svm_npt_free(struct vmspace *vmspace) 85 { 86 87 vmspace_free(vmspace); 88 } 89