/*  * Copyright (c) 2006 The DragonFly Project. All rights reserved.  *  * This code is derived from software contributed to The DragonFly Project  * by Matthew Dillon <dillon@backplane.com>  *  * Redistribution and use in source and binary forms, with or without  * modification, are permitted provided that the following conditions  * are met:  *  * 1. Redistributions of source code must retain the above copyright  * notice, this list of conditions and the following disclaimer.  * 2. Redistributions in binary form must reproduce the above copyright  * notice, this list of conditions and the following disclaimer in  * the documentation and/or other materials provided with the  * distribution.  * 3. Neither the name of The DragonFly Project nor the names of its  * contributors may be used to endorse or promote products derived  * from this software without specific, prior written permission.  *  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE  * COPYRIGHT HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,  * INCIDENTAL, SPECIAL, EXEMPLARY OR CONSEQUENTIAL DAMAGES (INCLUDING,  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF  * SUCH DAMAGE.  */#ifndef_SYS_VKERNEL_H_#define_SYS_VKERNEL_H_#ifdefined(_KERNEL) || defined(_KERNEL_STRUCTURES) /*  * KERNEL ONLY DEFINITIONS  */#ifndef_SYS_PARAM_H_#include <sys/param.h> #endif#ifndef_SYS_QUEUE_H_#include <sys/queue.h> #endif#ifndef_SYS_TREE_H_#include <sys/tree.h> #endif#ifndef_SYS_SPINLOCK_H_#include <sys/spinlock.h> #endif#ifndef_SYS_THREAD_H_#include <sys/thread.h> #endif#include <machine/frame.h> #include <machine/vframe.h> #include <machine/limits.h> structvmspace_rb_tree; structvmspace_entry; structlwp; RB_PROTOTYPE(vmspace_rb_tree, vmspace_entry, rb_entry, rb_vmspace_compare); /*  * Process operating as virtual kernels manage multiple VM spaces. The  * original VM space and trap context is saved in the process's vkernel  * structure.  */structvkernel_lwp { structtrapframesave_trapframe; /* swapped context */structvextframesave_vextframe; structtrapframe *user_trapframe; /* copyback to vkernel */structvextframe *user_vextframe; structvmspace_entry *ve; structvmspace_entry *ve_cache; }; structvkernel_proc { RB_HEAD(vmspace_rb_tree, vmspace_entry) root; structlwkt_tokentoken; intrefs; register_tvkernel_cr3; }; structvmspace_entry { void *id; structvmspace *vmspace; uint32_tflags; uint32_trefs; /* in-use + 1(on-tree */uint32_tcache_refs; /* cache count (separate) */RB_ENTRY(vmspace_entry) rb_entry; }; #defineVKE_REF_DELETED0x80000000U#ifdef_KERNELvoidvkernel_inherit(structproc *p1, structproc *p2); voidvkernel_exit(structproc *p); voidvkernel_lwp_exit(structlwp *lp); voidvkernel_trap(structlwp *lp, structtrapframe *frame); #endif#else/*  * USER ONLY DEFINITIONS  */#ifndef_MACHINE_PARAM_H_#include <machine/param.h> #endif#endif/*  * KERNEL AND USER DEFINITIONS  *  * WARNING: vpte_t is 64 bits. A 4-layer page table is used.  */typedefu_longvpte_t; #ifLONG_BIT == 32#defineVPTE_FRAME_END32#defineVPTE_PAGE_BITS10#defineVPTE_FRAME0xFFFFF000L#elifLONG_BIT == 64#defineVPTE_FRAME_END48#defineVPTE_PAGE_BITS9#defineVPTE_FRAME0x000FFFFFFFFFF000L#else#error"LONG_BIT not defined"#endif#defineVPTE_PAGE_ENTRIES (PAGE_SIZE / sizeof(vpte_t)) #defineVPTE_PAGE_MASK ((1 << VPTE_PAGE_BITS) - 1) #defineVPTE_PAGETABLE_SIZEPAGE_SIZE#defineVPTE_V0x00000001/* valid */#defineVPTE_RW0x00000002/* read/write */#defineVPTE_U0x00000004/* user access bit if managed vmspace */#defineVPTE_A0x00000020/* page accessed bit */#defineVPTE_M0x00000040/* page modified bit */#defineVPTE_PS0x00000080/* page directory direct mapping */#defineVPTE_G0x00000100/* global bit ?? */#defineVPTE_WIRED0x00000200/* wired */#defineVPTE_MANAGED0x00000400/* managed bit ?? */#defineVPTE_NX0x00000800/* no-execute bit */#endif

Indexes created Sun Apr 27 04:00:11 PDT 2025