WebSVN – HelenOS – Diff – /trunk/kernel/generic/include/mm/as.h


/*
 * Copyright (c) 2001-2004 Jakub Jermar
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - 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.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``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 AUTHOR 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.
 */
 
/** @addtogroup genericmm
 * @{
 */
/** @file
 */
 
#ifndef KERN_AS_H_
#define KERN_AS_H_
 
/** Address space area flags. */
#define AS_AREA_READ        1
#define AS_AREA_WRITE       2
#define AS_AREA_EXEC        4
#define AS_AREA_CACHEABLE   8
 
#ifdef KERNEL
 
#include <arch/mm/page.h>
#include <arch/mm/as.h>
#include <arch/mm/asid.h>
#include <arch/types.h>
#include <synch/spinlock.h>
#include <synch/mutex.h>
#include <adt/list.h>
#include <adt/btree.h>
#include <lib/elf.h>
 
/**
 * Defined to be true if user address space and kernel address space shadow each
 * other.
 */
#define KERNEL_ADDRESS_SPACE_SHADOWED   KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
 
#define KERNEL_ADDRESS_SPACE_START  KERNEL_ADDRESS_SPACE_START_ARCH
#define KERNEL_ADDRESS_SPACE_END    KERNEL_ADDRESS_SPACE_END_ARCH
#define USER_ADDRESS_SPACE_START    USER_ADDRESS_SPACE_START_ARCH
#define USER_ADDRESS_SPACE_END      USER_ADDRESS_SPACE_END_ARCH
 
#define USTACK_ADDRESS          USTACK_ADDRESS_ARCH
 
/** Kernel address space. */
#define FLAG_AS_KERNEL          (1 << 0)    
 
/* Address space area attributes. */
#define AS_AREA_ATTR_NONE   0
#define AS_AREA_ATTR_PARTIAL    1   /**< Not fully initialized area. */
 
/** The page fault was not resolved by as_page_fault(). */
#define AS_PF_FAULT     0
/** The page fault was resolved by as_page_fault(). */
#define AS_PF_OK        1
/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
#define AS_PF_DEFER     2
 
/** Address space structure.
 *
 * as_t contains the list of as_areas of userspace accessible
 * pages for one or more tasks. Ranges of kernel memory pages are not
 * supposed to figure in the list as they are shared by all tasks and
 * set up during system initialization.
 */
typedef struct as {
    /** Protected by asidlock. */
    link_t inactive_as_with_asid_link;
 
    mutex_t lock;
 
    /** Number of references (i.e tasks that reference this as). */
    count_t refcount;
 
    /** Number of processors on wich is this address space active. */
    count_t cpu_refcount;
 
    /** B+tree of address space areas. */
    btree_t as_area_btree;
   
    /**
     *  Address space identifier.
     *  Constant on architectures that do not support ASIDs.
     */
    asid_t asid;
   
    /** Non-generic content. */
    as_genarch_t genarch;
 
    /** Architecture specific content. */
    as_arch_t arch;
} as_t;
 
typedef struct {
    pte_t *(* page_table_create)(int flags);
    void (* page_table_destroy)(pte_t *page_table);
    void (* page_table_lock)(as_t *as, bool lock);
    void (* page_table_unlock)(as_t *as, bool unlock);
} as_operations_t;
 
/**
 * This structure contains information associated with the shared address space
 * area.
 */
typedef struct {
    /** This lock must be acquired only when the as_area lock is held. */
    mutex_t lock;      
    /** This structure can be deallocated if refcount drops to 0. */
    count_t refcount;
    /**
     * B+tree containing complete map of anonymous pages of the shared area.
     */
    btree_t pagemap;
} share_info_t;
 
/** Page fault access type. */
typedef enum {
    PF_ACCESS_READ,
    PF_ACCESS_WRITE,
    PF_ACCESS_EXEC
} pf_access_t;
 
struct mem_backend;
 
/** Backend data stored in address space area. */
typedef union mem_backend_data {
    struct {    /**< elf_backend members */
        elf_header_t *elf;
        elf_segment_header_t *segment;
    };
    struct {    /**< phys_backend members */
        uintptr_t base;
        count_t frames;
    };
} mem_backend_data_t;
 
/** Address space area structure.
 *
 * Each as_area_t structure describes one contiguous area of virtual memory.
 * In the future, it should not be difficult to support shared areas.
 */
typedef struct {
    mutex_t lock;
    /** Containing address space. */
    as_t *as;      
    /**
     * Flags related to the memory represented by the address space area.
     */
    int flags;
    /** Attributes related to the address space area itself. */
    int attributes;
    /** Size of this area in multiples of PAGE_SIZE. */
    count_t pages;
    /** Base address of this area. */
    uintptr_t base;
    /** Map of used space. */
    btree_t used_space;
 
    /**
     * If the address space area has been shared, this pointer will
     * reference the share info structure.
     */
    share_info_t *sh_info;
 
    /** Memory backend backing this address space area. */
    struct mem_backend *backend;
 
    /** Data to be used by the backend. */
    mem_backend_data_t backend_data;
} as_area_t;
 
/** Address space area backend structure. */
typedef struct mem_backend {
    int (* page_fault)(as_area_t *area, uintptr_t addr, pf_access_t access);
    void (* frame_free)(as_area_t *area, uintptr_t page, uintptr_t frame);
    void (* share)(as_area_t *area);
} mem_backend_t;
 
extern as_t *AS_KERNEL;
extern as_operations_t *as_operations;
 
SPINLOCK_EXTERN(inactive_as_with_asid_lock);
extern link_t inactive_as_with_asid_head;
 
extern void as_init(void);
 
extern as_t *as_create(int flags);
extern void as_destroy(as_t *as);
extern void as_switch(as_t *old_as, as_t *new_as);
extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate);
 
extern as_area_t *as_area_create(as_t *as, int flags, size_t size,
    uintptr_t base, int attrs, mem_backend_t *backend,
    mem_backend_data_t *backend_data);
extern int as_area_destroy(as_t *as, uintptr_t address);   
extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags);
int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size,
    as_t *dst_as, uintptr_t dst_base, int dst_flags_mask);
 
extern int as_area_get_flags(as_area_t *area);
extern bool as_area_check_access(as_area_t *area, pf_access_t access);
extern size_t as_get_size(uintptr_t base);
extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count);
extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count);
 
 
/* Interface to be implemented by architectures. */
#ifndef as_constructor_arch
extern int as_constructor_arch(as_t *as, int flags);
#endif /* !def as_constructor_arch */
#ifndef as_destructor_arch
extern int as_destructor_arch(as_t *as);
#endif /* !def as_destructor_arch */
#ifndef as_create_arch
extern int as_create_arch(as_t *as, int flags);
#endif /* !def as_create_arch */
#ifndef as_install_arch
extern void as_install_arch(as_t *as);
#endif /* !def as_install_arch */
#ifndef as_deinstall_arch
extern void as_deinstall_arch(as_t *as);
#endif /* !def as_deinstall_arch */
 
/* Backend declarations and functions. */
extern mem_backend_t anon_backend;
extern mem_backend_t elf_backend;
extern mem_backend_t phys_backend;
 
extern int elf_load(elf_header_t *header, as_t *as);
 
/* Address space area related syscalls. */
extern unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);
extern unative_t sys_as_area_resize(uintptr_t address, size_t size, int flags);
extern unative_t sys_as_area_destroy(uintptr_t address);
 
/* Introspection functions. */
extern void as_print(as_t *as);
 
#endif /* KERNEL */
 
#endif
 
/** @}
 */
 

Rev 2106	Rev 2107
1	/*	1	/*
2	* Copyright (c) 2001-2004 Jakub Jermar	2	* Copyright (c) 2001-2004 Jakub Jermar
3	* All rights reserved.	3	* All rights reserved.
4	*	4	*
5	* Redistribution and use in source and binary forms, with or without	5	* Redistribution and use in source and binary forms, with or without
6	* modification, are permitted provided that the following conditions	6	* modification, are permitted provided that the following conditions
7	* are met:	7	* are met:
8	*	8	*
9	* - Redistributions of source code must retain the above copyright	9	* - Redistributions of source code must retain the above copyright
10	* notice, this list of conditions and the following disclaimer.	10	* notice, this list of conditions and the following disclaimer.
11	* - Redistributions in binary form must reproduce the above copyright	11	* - Redistributions in binary form must reproduce the above copyright
12	* notice, this list of conditions and the following disclaimer in the	12	* notice, this list of conditions and the following disclaimer in the
13	* documentation and/or other materials provided with the distribution.	13	* documentation and/or other materials provided with the distribution.
14	* - The name of the author may not be used to endorse or promote products	14	* - The name of the author may not be used to endorse or promote products
15	* derived from this software without specific prior written permission.	15	* derived from this software without specific prior written permission.
16	*	16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR	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	18	* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.	19	* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,	20	* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT	21	* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22	* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,	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	23	* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24	* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT	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	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.	26	* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27	*/	27	*/
28		28
29	/** @addtogroup genericmm	29	/** @addtogroup genericmm
30	* @{	30	* @{
31	*/	31	*/
32	/** @file	32	/** @file
33	*/	33	*/
34		34
35	#ifndef KERN_AS_H_	35	#ifndef KERN_AS_H_
36	#define KERN_AS_H_	36	#define KERN_AS_H_
37		37
38	/** Address space area flags. */	38	/** Address space area flags. */
39	#define AS_AREA_READ 1	39	#define AS_AREA_READ 1
40	#define AS_AREA_WRITE 2	40	#define AS_AREA_WRITE 2
41	#define AS_AREA_EXEC 4	41	#define AS_AREA_EXEC 4
42	#define AS_AREA_CACHEABLE 8	42	#define AS_AREA_CACHEABLE 8
43		43
44	#ifdef KERNEL	44	#ifdef KERNEL
45		45
46	#include <arch/mm/page.h>	46	#include <arch/mm/page.h>
47	#include <arch/mm/as.h>	47	#include <arch/mm/as.h>
48	#include <arch/mm/asid.h>	48	#include <arch/mm/asid.h>
49	#include <arch/types.h>	49	#include <arch/types.h>
50	#include <synch/spinlock.h>	50	#include <synch/spinlock.h>
51	#include <synch/mutex.h>	51	#include <synch/mutex.h>
52	#include <adt/list.h>	52	#include <adt/list.h>
53	#include <adt/btree.h>	53	#include <adt/btree.h>
54	#include <lib/elf.h>	54	#include <lib/elf.h>
55		55
56	/**	56	/**
57	* Defined to be true if user address space and kernel address space shadow each	57	* Defined to be true if user address space and kernel address space shadow each
58	* other.	58	* other.
59	*/	59	*/
60	#define KERNEL_ADDRESS_SPACE_SHADOWED KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	60	#define KERNEL_ADDRESS_SPACE_SHADOWED KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
61		61
62	#define KERNEL_ADDRESS_SPACE_START KERNEL_ADDRESS_SPACE_START_ARCH	62	#define KERNEL_ADDRESS_SPACE_START KERNEL_ADDRESS_SPACE_START_ARCH
63	#define KERNEL_ADDRESS_SPACE_END KERNEL_ADDRESS_SPACE_END_ARCH	63	#define KERNEL_ADDRESS_SPACE_END KERNEL_ADDRESS_SPACE_END_ARCH
64	#define USER_ADDRESS_SPACE_START USER_ADDRESS_SPACE_START_ARCH	64	#define USER_ADDRESS_SPACE_START USER_ADDRESS_SPACE_START_ARCH
65	#define USER_ADDRESS_SPACE_END USER_ADDRESS_SPACE_END_ARCH	65	#define USER_ADDRESS_SPACE_END USER_ADDRESS_SPACE_END_ARCH
66		66
67	#define USTACK_ADDRESS USTACK_ADDRESS_ARCH	67	#define USTACK_ADDRESS USTACK_ADDRESS_ARCH
68		68
69	/** Kernel address space. */	69	/** Kernel address space. */
70	#define FLAG_AS_KERNEL (1 << 0)	70	#define FLAG_AS_KERNEL (1 << 0)
71		71
72	/* Address space area attributes. */	72	/* Address space area attributes. */
73	#define AS_AREA_ATTR_NONE 0	73	#define AS_AREA_ATTR_NONE 0
74	#define AS_AREA_ATTR_PARTIAL 1 /*< Not fully initialized area. /	74	#define AS_AREA_ATTR_PARTIAL 1 /*< Not fully initialized area. /
75		75
76	/** The page fault was not resolved by as_page_fault(). */	76	/** The page fault was not resolved by as_page_fault(). */
77	#define AS_PF_FAULT 0	77	#define AS_PF_FAULT 0
78	/** The page fault was resolved by as_page_fault(). */	78	/** The page fault was resolved by as_page_fault(). */
79	#define AS_PF_OK 1	79	#define AS_PF_OK 1
80	/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */	80	/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
81	#define AS_PF_DEFER 2	81	#define AS_PF_DEFER 2
82		82
83	/** Address space structure.	83	/** Address space structure.
84	*	84	*
85	* as_t contains the list of as_areas of userspace accessible	85	* as_t contains the list of as_areas of userspace accessible
86	* pages for one or more tasks. Ranges of kernel memory pages are not	86	* pages for one or more tasks. Ranges of kernel memory pages are not
87	* supposed to figure in the list as they are shared by all tasks and	87	* supposed to figure in the list as they are shared by all tasks and
88	* set up during system initialization.	88	* set up during system initialization.
89	*/	89	*/
90	typedef struct as {	90	typedef struct as {
91	/** Protected by asidlock. */	91	/** Protected by asidlock. */
92	link_t inactive_as_with_asid_link;	92	link_t inactive_as_with_asid_link;
93		93
94	mutex_t lock;	94	mutex_t lock;
95		95
96	/** Number of references (i.e tasks that reference this as). */	96	/** Number of references (i.e tasks that reference this as). */
97	count_t refcount;	97	count_t refcount;
98		98
99	/** Number of processors on wich is this address space active. */	99	/** Number of processors on wich is this address space active. */
100	count_t cpu_refcount;	100	count_t cpu_refcount;
101		101
102	/** B+tree of address space areas. */	102	/** B+tree of address space areas. */
103	btree_t as_area_btree;	103	btree_t as_area_btree;
104		104
105	/**	105	/**
106	* Address space identifier.	106	* Address space identifier.
107	* Constant on architectures that do not support ASIDs.	107	* Constant on architectures that do not support ASIDs.
108	*/	108	*/
109	asid_t asid;	109	asid_t asid;
110		110
111	/** Non-generic content. */	111	/** Non-generic content. */
112	as_genarch_t genarch;	112	as_genarch_t genarch;
113		113
114	/** Architecture specific content. */	114	/** Architecture specific content. */
115	as_arch_t arch;	115	as_arch_t arch;
116	} as_t;	116	} as_t;
117		117
118	typedef struct {	118	typedef struct {
119	pte_t ( page_table_create)(int flags);	119	pte_t ( page_table_create)(int flags);
120	void (* page_table_destroy)(pte_t *page_table);	120	void (* page_table_destroy)(pte_t *page_table);
121	void (* page_table_lock)(as_t *as, bool lock);	121	void (* page_table_lock)(as_t *as, bool lock);
122	void (* page_table_unlock)(as_t *as, bool unlock);	122	void (* page_table_unlock)(as_t *as, bool unlock);
123	} as_operations_t;	123	} as_operations_t;
124		124
125	/**	125	/**
126	* This structure contains information associated with the shared address space	126	* This structure contains information associated with the shared address space
127	* area.	127	* area.
128	*/	128	*/
129	typedef struct {	129	typedef struct {
130	/** This lock must be acquired only when the as_area lock is held. */	130	/** This lock must be acquired only when the as_area lock is held. */
131	mutex_t lock;	131	mutex_t lock;
132	/** This structure can be deallocated if refcount drops to 0. */	132	/** This structure can be deallocated if refcount drops to 0. */
133	count_t refcount;	133	count_t refcount;
134	/**	134	/**
135	* B+tree containing complete map of anonymous pages of the shared area.	135	* B+tree containing complete map of anonymous pages of the shared area.
136	*/	136	*/
137	btree_t pagemap;	137	btree_t pagemap;
138	} share_info_t;	138	} share_info_t;
139		139
140	/** Page fault access type. */	140	/** Page fault access type. */
141	typedef enum {	141	typedef enum {
142	PF_ACCESS_READ,	142	PF_ACCESS_READ,
143	PF_ACCESS_WRITE,	143	PF_ACCESS_WRITE,
144	PF_ACCESS_EXEC	144	PF_ACCESS_EXEC
145	} pf_access_t;	145	} pf_access_t;
146		146
147	struct mem_backend;	147	struct mem_backend;
148		148
149	/** Backend data stored in address space area. */	149	/** Backend data stored in address space area. */
150	typedef union mem_backend_data {	150	typedef union mem_backend_data {
151	struct { /*< elf_backend members /	151	struct { /*< elf_backend members /
152	elf_header_t *elf;	152	elf_header_t *elf;
153	elf_segment_header_t *segment;	153	elf_segment_header_t *segment;
154	};	154	};
155	struct { /*< phys_backend members /	155	struct { /*< phys_backend members /
156	uintptr_t base;	156	uintptr_t base;
157	count_t frames;	157	count_t frames;
158	};	158	};
159	} mem_backend_data_t;	159	} mem_backend_data_t;
160		160
161	/** Address space area structure.	161	/** Address space area structure.
162	*	162	*
163	* Each as_area_t structure describes one contiguous area of virtual memory.	163	* Each as_area_t structure describes one contiguous area of virtual memory.
164	* In the future, it should not be difficult to support shared areas.	164	* In the future, it should not be difficult to support shared areas.
165	*/	165	*/
166	typedef struct {	166	typedef struct {
167	mutex_t lock;	167	mutex_t lock;
168	/** Containing address space. */	168	/** Containing address space. */
169	as_t *as;	169	as_t *as;
-		170	/**
170	/** Flags related to the memory represented by the address space area. */	171	* Flags related to the memory represented by the address space area.
-		172	*/
171	int flags;	173	int flags;
172	/** Attributes related to the address space area itself. */	174	/** Attributes related to the address space area itself. */
173	int attributes;	175	int attributes;
174	/** Size of this area in multiples of PAGE_SIZE. */	176	/** Size of this area in multiples of PAGE_SIZE. */
175	count_t pages;	177	count_t pages;
176	/** Base address of this area. */	178	/** Base address of this area. */
177	uintptr_t base;	179	uintptr_t base;
178	/** Map of used space. */	180	/** Map of used space. */
179	btree_t used_space;	181	btree_t used_space;
180		182
181	/**	183	/**
182	* If the address space area has been shared, this pointer will reference	184	* If the address space area has been shared, this pointer will
183	* the share info structure.	185	* reference the share info structure.
184	*/	186	*/
185	share_info_t *sh_info;	187	share_info_t *sh_info;
186		188
187	/** Memory backend backing this address space area. */	189	/** Memory backend backing this address space area. */
188	struct mem_backend *backend;	190	struct mem_backend *backend;
189		191
190	/** Data to be used by the backend. */	192	/** Data to be used by the backend. */
191	mem_backend_data_t backend_data;	193	mem_backend_data_t backend_data;
192	} as_area_t;	194	} as_area_t;
193		195
194	/** Address space area backend structure. */	196	/** Address space area backend structure. */
195	typedef struct mem_backend {	197	typedef struct mem_backend {
196	int (* page_fault)(as_area_t *area, uintptr_t addr, pf_access_t access);	198	int (* page_fault)(as_area_t *area, uintptr_t addr, pf_access_t access);
197	void (* frame_free)(as_area_t *area, uintptr_t page, uintptr_t frame);	199	void (* frame_free)(as_area_t *area, uintptr_t page, uintptr_t frame);
198	void (* share)(as_area_t *area);	200	void (* share)(as_area_t *area);
199	} mem_backend_t;	201	} mem_backend_t;
200		202
201	extern as_t *AS_KERNEL;	203	extern as_t *AS_KERNEL;
202	extern as_operations_t *as_operations;	204	extern as_operations_t *as_operations;
203		205
204	SPINLOCK_EXTERN(inactive_as_with_asid_lock);	206	SPINLOCK_EXTERN(inactive_as_with_asid_lock);
205	extern link_t inactive_as_with_asid_head;	207	extern link_t inactive_as_with_asid_head;
206		208
207	extern void as_init(void);	209	extern void as_init(void);
208		210
209	extern as_t *as_create(int flags);	211	extern as_t *as_create(int flags);
210	extern void as_destroy(as_t *as);	212	extern void as_destroy(as_t *as);
211	extern void as_switch(as_t old_as, as_t new_as);	213	extern void as_switch(as_t old_as, as_t new_as);
212	extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate);	214	extern int as_page_fault(uintptr_t page, pf_access_t access, istate_t *istate);
213		215
214	extern as_area_t as_area_create(as_t as, int flags, size_t size,	216	extern as_area_t as_area_create(as_t as, int flags, size_t size,
215	uintptr_t base, int attrs, mem_backend_t *backend,	217	uintptr_t base, int attrs, mem_backend_t *backend,
216	mem_backend_data_t *backend_data);	218	mem_backend_data_t *backend_data);
217	extern int as_area_destroy(as_t *as, uintptr_t address);	219	extern int as_area_destroy(as_t *as, uintptr_t address);
218	extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags);	220	extern int as_area_resize(as_t *as, uintptr_t address, size_t size, int flags);
219	int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size,	221	int as_area_share(as_t *src_as, uintptr_t src_base, size_t acc_size,
220	as_t *dst_as, uintptr_t dst_base, int dst_flags_mask);	222	as_t *dst_as, uintptr_t dst_base, int dst_flags_mask);
221		223
222	extern int as_area_get_flags(as_area_t *area);	224	extern int as_area_get_flags(as_area_t *area);
223	extern bool as_area_check_access(as_area_t *area, pf_access_t access);	225	extern bool as_area_check_access(as_area_t *area, pf_access_t access);
224	extern size_t as_get_size(uintptr_t base);	226	extern size_t as_get_size(uintptr_t base);
225	extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count);	227	extern int used_space_insert(as_area_t *a, uintptr_t page, count_t count);
226	extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count);	228	extern int used_space_remove(as_area_t *a, uintptr_t page, count_t count);
227		229
228		230
229	/* Interface to be implemented by architectures. */	231	/* Interface to be implemented by architectures. */
230	#ifndef as_constructor_arch	232	#ifndef as_constructor_arch
231	extern int as_constructor_arch(as_t *as, int flags);	233	extern int as_constructor_arch(as_t *as, int flags);
232	#endif /* !def as_constructor_arch */	234	#endif /* !def as_constructor_arch */
233	#ifndef as_destructor_arch	235	#ifndef as_destructor_arch
234	extern int as_destructor_arch(as_t *as);	236	extern int as_destructor_arch(as_t *as);
235	#endif /* !def as_destructor_arch */	237	#endif /* !def as_destructor_arch */
236	#ifndef as_create_arch	238	#ifndef as_create_arch
237	extern int as_create_arch(as_t *as, int flags);	239	extern int as_create_arch(as_t *as, int flags);
238	#endif /* !def as_create_arch */	240	#endif /* !def as_create_arch */
239	#ifndef as_install_arch	241	#ifndef as_install_arch
240	extern void as_install_arch(as_t *as);	242	extern void as_install_arch(as_t *as);
241	#endif /* !def as_install_arch */	243	#endif /* !def as_install_arch */
242	#ifndef as_deinstall_arch	244	#ifndef as_deinstall_arch
243	extern void as_deinstall_arch(as_t *as);	245	extern void as_deinstall_arch(as_t *as);
244	#endif /* !def as_deinstall_arch */	246	#endif /* !def as_deinstall_arch */
245		247
246	/* Backend declarations and functions. */	248	/* Backend declarations and functions. */
247	extern mem_backend_t anon_backend;	249	extern mem_backend_t anon_backend;
248	extern mem_backend_t elf_backend;	250	extern mem_backend_t elf_backend;
249	extern mem_backend_t phys_backend;	251	extern mem_backend_t phys_backend;
250		252
251	extern int elf_load(elf_header_t header, as_t as);	253	extern int elf_load(elf_header_t header, as_t as);
252		254
253	/* Address space area related syscalls. */	255	/* Address space area related syscalls. */
254	extern unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);	256	extern unative_t sys_as_area_create(uintptr_t address, size_t size, int flags);
255	extern unative_t sys_as_area_resize(uintptr_t address, size_t size, int flags);	257	extern unative_t sys_as_area_resize(uintptr_t address, size_t size, int flags);
256	extern unative_t sys_as_area_destroy(uintptr_t address);	258	extern unative_t sys_as_area_destroy(uintptr_t address);
257		259
258	/* Introspection functions. */	260	/* Introspection functions. */
259	extern void as_print(as_t *as);	261	extern void as_print(as_t *as);
260		262
261	#endif /* KERNEL */	263	#endif /* KERNEL */
262		264
263	#endif	265	#endif
264		266
265	/** @}	267	/** @}
266	*/	268	*/
267		269

Subversion Repositories HelenOS

(root)/trunk/kernel/generic/include/mm/as.h – Rev 2106 → 2107