1*47e07394SAndrew Turner /*- 2*47e07394SAndrew Turner * SPDX-License-Identifier: BSD-2-Clause 3*47e07394SAndrew Turner * 4*47e07394SAndrew Turner * Copyright (C) 2017 Alexandru Elisei <alexandru.elisei@gmail.com> 5*47e07394SAndrew Turner * 6*47e07394SAndrew Turner * This software was developed by Alexandru Elisei under sponsorship 7*47e07394SAndrew Turner * from the FreeBSD Foundation. 8*47e07394SAndrew Turner * 9*47e07394SAndrew Turner * Redistribution and use in source and binary forms, with or without 10*47e07394SAndrew Turner * modification, are permitted provided that the following conditions 11*47e07394SAndrew Turner * are met: 12*47e07394SAndrew Turner * 1. Redistributions of source code must retain the above copyright 13*47e07394SAndrew Turner * notice, this list of conditions and the following disclaimer. 14*47e07394SAndrew Turner * 2. Redistributions in binary form must reproduce the above copyright 15*47e07394SAndrew Turner * notice, this list of conditions and the following disclaimer in the 16*47e07394SAndrew Turner * documentation and/or other materials provided with the distribution. 17*47e07394SAndrew Turner * 18*47e07394SAndrew Turner * THIS SOFTWARE IS PROVIDED BY AUTHOR AND CONTRIBUTORS ``AS IS'' AND 19*47e07394SAndrew Turner * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 20*47e07394SAndrew Turner * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 21*47e07394SAndrew Turner * ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE 22*47e07394SAndrew Turner * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 23*47e07394SAndrew Turner * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 24*47e07394SAndrew Turner * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 25*47e07394SAndrew Turner * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 26*47e07394SAndrew Turner * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 27*47e07394SAndrew Turner * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 28*47e07394SAndrew Turner * SUCH DAMAGE. 29*47e07394SAndrew Turner */ 30*47e07394SAndrew Turner 31*47e07394SAndrew Turner #ifndef _VMM_MMU_H_ 32*47e07394SAndrew Turner #define _VMM_MMU_H_ 33*47e07394SAndrew Turner 34*47e07394SAndrew Turner #include <machine/machdep.h> 35*47e07394SAndrew Turner #include <machine/vmparam.h> 36*47e07394SAndrew Turner #include <machine/vmm.h> 37*47e07394SAndrew Turner 38*47e07394SAndrew Turner #include "hyp.h" 39*47e07394SAndrew Turner 40*47e07394SAndrew Turner extern char vmm_hyp_code; 41*47e07394SAndrew Turner extern char vmm_hyp_code_end; 42*47e07394SAndrew Turner 43*47e07394SAndrew Turner extern char _vmm_start; 44*47e07394SAndrew Turner extern char _vmm_end; 45*47e07394SAndrew Turner 46*47e07394SAndrew Turner bool vmmpmap_init(void); 47*47e07394SAndrew Turner void vmmpmap_fini(void); 48*47e07394SAndrew Turner uint64_t vmmpmap_to_ttbr0(void); 49*47e07394SAndrew Turner bool vmmpmap_enter(vm_offset_t, vm_size_t, vm_paddr_t, vm_prot_t); 50*47e07394SAndrew Turner void vmmpmap_remove(vm_offset_t, vm_size_t, bool); 51*47e07394SAndrew Turner 52*47e07394SAndrew Turner #endif 53