|
[ source navigation ] [ diff markup ] [ identifier search ] [ general search ] |
|||
|
001 /* Copyright (C) 2004 David Decotigny 002 003 This program is free software; you can redistribute it and/or 004 modify it under the terms of the GNU General Public License 005 as published by the Free Software Foundation; either version 2 006 of the License, or (at your option) any later version. 007 008 This program is distributed in the hope that it will be useful, 009 but WITHOUT ANY WARRANTY; without even the implied warranty of 010 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 011 GNU General Public License for more details. 012 013 You should have received a copy of the GNU General Public License 014 along with this program; if not, write to the Free Software 015 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 016 USA. 017 */ 018 #ifndef _SOS_GDT_H_ 019 #define _SOS_GDT_H_ 020 021 /** 022 * @file gdt.h 023 * 024 * The routines that manage the GDT, the table that maps the virtual 025 * addresses (data/instructions, segment-relative), to "linear" 026 * addresses (ie paged-memory). In SOS/x86, we use a "flat" virtual 027 * space, ie the virtual and linear spaces are equivalent. 028 * 029 * @see Intel x86 doc vol 3, chapter 3 030 */ 031 032 #include <sos/types.h> 033 #include <sos/errno.h> 034 035 /** 036 * Configure the virtual space as a direct mapping to the linear 037 * address space (ie "flat" virtual space). 038 */ 039 sos_ret_t sos_gdt_subsystem_setup(void); 040 041 042 /** 043 * Register the given address as the kernel TSS (for cpl3 -> cpl0 044 * privilege changes). Assumes that this address corresponds to a 045 * valid TSS. 046 * 047 * @note Internal function called only by the cpu_context subsystem. 048 */ 049 sos_ret_t sos_gdt_register_kernel_tss(sos_vaddr_t tss_vaddr); 050 051 052 #endif /* _SOS_GDT_H_ */
[ source navigation ] | [ diff markup ] | [ identifier search ] | [ general search ] |