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, NULL, NULL); 45 46 static int npt_flags; 47 SYSCTL_INT(_hw_vmm_npt, OID_AUTO, pmap_flags, CTLFLAG_RD, 48 &npt_flags, 0, NULL); 49 50 #define NPT_IPIMASK 0xFF 51 52 /* 53 * AMD nested page table init. 54 */ 55 int 56 svm_npt_init(int ipinum) 57 { 58 int enable_superpage = 1; 59 60 npt_flags = ipinum & NPT_IPIMASK; 61 TUNABLE_INT_FETCH("hw.vmm.npt.enable_superpage", &enable_superpage); 62 if (enable_superpage) 63 npt_flags |= PMAP_PDE_SUPERPAGE; 64 65 return (0); 66 } 67 68 static int 69 npt_pinit(pmap_t pmap) 70 { 71 72 return (pmap_pinit_type(pmap, PT_RVI, npt_flags)); 73 } 74 75 struct vmspace * 76 svm_npt_alloc(vm_offset_t min, vm_offset_t max) 77 { 78 79 return (vmspace_alloc(min, max, npt_pinit)); 80 } 81 82 void 83 svm_npt_free(struct vmspace *vmspace) 84 { 85 86 vmspace_free(vmspace); 87 } 88