source: trunk/hal/generic/hal_vmm.h @ 624

Last change on this file since 624 was 623, checked in by alain, 5 years ago

Introduce three new types of vsegs (KCODE,KDATA,KDEV)
to map the kernel vsegs in the process VSL and GPT.
This now used by both the TSAR and the I86 architectures.

File size: 2.7 KB
Line 
1/*
2 * hal_vmm.h - Kernel Virtual Memory Manager initialisation
3 *
4 * Authors  Alain Greiner (2016,2017,2018,2019)
5 *
6 * Copyright (c) UPMC Sorbonne Universites
7 *
8 * This file is part of ALMOS-MKH.
9 *
10 * ALMOS-MKH is free software; you can redistribute it and/or modify it
11 * under the terms of the GNU General Public License as published by
12 * the Free Software Foundation; version 2.0 of the License.
13 *
14 * ALMOS-MKH is distributed in the hope that it will be useful, but
15 * WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17 * General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
21 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
22 */
23
24#ifndef _HAL_VMM_H_
25#define _HAL_VMM_H_
26
27#include <hal_kernel_types.h>
28#include <boot_info.h>
29
30/////////////////////////////////////////////////////////////////////////////////////////
31//    Kernel Virtual Memory Manager initialisation (implementation in hal_vmm.c)
32//
33// Any arch-specific implementation must implement this API.
34/////////////////////////////////////////////////////////////////////////////////////////
35
36/****  Forward declarations  ****/
37
38struct process_s;
39struct boot_info_s;
40
41/****************************************************************************************
42 * Depending on the hardware architecture, this function creates (i.e. allocates memory
43 * and initializes) the VSL (Virtual segments List) and the GPT (Generic Page Table),
44 * for all vsegs required by the kernel process.
45 ****************************************************************************************
46 * @ info  : local pointer on boot_info (for kernel segments base & size).
47 * @ return 0 if success / return ENOMEM if failure.
48 ***************************************************************************************/
49error_t hal_vmm_kernel_init( struct boot_info_s * info );
50
51/****************************************************************************************
52 * Depending on the hardware architecture, this function updates the VMM of an user
53 * process identified by the <process> argument. It registers in VSL and GPT all
54 * kernel vsegs required by this architecture.
55 ****************************************************************************************
56 * @ process   : local pointer on user process descriptor.
57 * @ return 0 if success / return ENOMEM if failure.
58 ***************************************************************************************/
59error_t hal_vmm_kernel_update( struct process_s * process );
60
61#endif  /* HAL_VMM_H_ */
Note: See TracBrowser for help on using the repository browser.