WebSVN – HelenOS-historic – Diff – /kernel/trunk/generic/src/mm/page.c


/*
 * Copyright (C) 2001-2006 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.
 */
 
/**
 * @file    page.c
 * @brief   Virtual Address Translation subsystem.
 *
 * This file contains code for creating, destroying and searching
 * mappings between virtual addresses and physical addresses.
 * Functions here are mere wrappers that call the real implementation.
 * They however, define the single interface.
 */
 
#include <mm/page.h>
#include <arch/mm/page.h>
#include <arch/mm/asid.h>
#include <mm/as.h>
#include <mm/frame.h>
#include <arch/types.h>
#include <typedefs.h>
#include <arch/asm.h>
#include <memstr.h>
#include <debug.h>
#include <arch.h>
 
/** Virtual operations for page subsystem. */
page_mapping_operations_t *page_mapping_operations = NULL;
 
void page_init(void)
{
    page_arch_init();
}
 
/** Map memory structure
 *
 * Identity-map memory structure
 * considering possible crossings
 * of page boundaries.
 *
 * @param s Address of the structure.
 * @param size Size of the structure.
 */
void map_structure(__address s, size_t size)
{
    int i, cnt, length;
 
    length = size + (s - (s & ~(PAGE_SIZE - 1)));
    cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
 
    for (i = 0; i < cnt; i++)
        page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE);
 
}
 
/** Insert mapping of page to frame.
 *
 * Map virtual address page to physical address frame
 * using flags. Allocate and setup any missing page tables.
 *
 * The page table must be locked and interrupts must be disabled.
 *
 * @param as Address space to wich page belongs.
 * @param page Virtual address of the page to be mapped.
 * @param frame Physical address of memory frame to which the mapping is done.
 * @param flags Flags to be used for mapping.
 */
void page_mapping_insert(as_t *as, __address page, __address frame, int flags)
{
    ASSERT(page_mapping_operations);
    ASSERT(page_mapping_operations->mapping_insert);
   
    page_mapping_operations->mapping_insert(as, page, frame, flags);
}
 
/** Remove mapping of page.
 *
 * Remove any mapping of page within address space as.
 * TLB shootdown should follow in order to make effects of
 * this call visible.
 *
 * The page table must be locked and interrupts must be disabled.
 *
 * @param as Address space to wich page belongs.
 * @param page Virtual address of the page to be demapped.
 */
void page_mapping_remove(as_t *as, __address page)
{
    ASSERT(page_mapping_operations);
    ASSERT(page_mapping_operations->mapping_remove);
   
    page_mapping_operations->mapping_remove(as, page);
}
 
/** Find mapping for virtual page
 *
 * Find mapping for virtual page.
 *
 * The page table must be locked and interrupts must be disabled.
 *
 * @param as Address space to wich page belongs.
 * @param page Virtual page.
 *
 * @return NULL if there is no such mapping; requested mapping otherwise.
 */
pte_t *page_mapping_find(as_t *as, __address page)
{
    ASSERT(page_mapping_operations);
    ASSERT(page_mapping_operations->mapping_find);
 
    return page_mapping_operations->mapping_find(as, page);
}
 

Subversion Repositories HelenOS-historic

(root)/kernel/trunk/generic/src/mm/page.c – Rev 1229 → 1248

Rev 1229		Rev 1248
1	/*	1	/*
2	* Copyright (C) 2001-2006 Jakub Jermar	2	* Copyright (C) 2001-2006 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	/*	29	/**
-		30	* @file page.c
30	* Virtual Address Translation subsystem.	31	* @brief Virtual Address Translation subsystem.
-		32	*
-		33	* This file contains code for creating, destroying and searching
-		34	* mappings between virtual addresses and physical addresses.
-		35	* Functions here are mere wrappers that call the real implementation.
-		36	* They however, define the single interface.
31	*/	37	*/
32		38
33	#include <mm/page.h>	39	#include <mm/page.h>
34	#include <arch/mm/page.h>	40	#include <arch/mm/page.h>
35	#include <arch/mm/asid.h>	41	#include <arch/mm/asid.h>
36	#include <mm/as.h>	42	#include <mm/as.h>
37	#include <mm/frame.h>	43	#include <mm/frame.h>
38	#include <arch/types.h>	44	#include <arch/types.h>
39	#include <typedefs.h>	45	#include <typedefs.h>
40	#include <arch/asm.h>	46	#include <arch/asm.h>
41	#include <memstr.h>	47	#include <memstr.h>
42	#include <debug.h>	48	#include <debug.h>
43	#include <arch.h>	49	#include <arch.h>
44		50
45	/** Virtual operations for page subsystem. */	51	/** Virtual operations for page subsystem. */
46	page_mapping_operations_t *page_mapping_operations = NULL;	52	page_mapping_operations_t *page_mapping_operations = NULL;
47		53
48	void page_init(void)	54	void page_init(void)
49	{	55	{
50	page_arch_init();	56	page_arch_init();
51	}	57	}
52		58
53	/** Map memory structure	59	/** Map memory structure
54	*	60	*
55	* Identity-map memory structure	61	* Identity-map memory structure
56	* considering possible crossings	62	* considering possible crossings
57	* of page boundaries.	63	* of page boundaries.
58	*	64	*
59	* @param s Address of the structure.	65	* @param s Address of the structure.
60	* @param size Size of the structure.	66	* @param size Size of the structure.
61	*/	67	*/
62	void map_structure(__address s, size_t size)	68	void map_structure(__address s, size_t size)
63	{	69	{
64	int i, cnt, length;	70	int i, cnt, length;
65		71
66	length = size + (s - (s & ~(PAGE_SIZE - 1)));	72	length = size + (s - (s & ~(PAGE_SIZE - 1)));
67	cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);	73	cnt = length / PAGE_SIZE + (length % PAGE_SIZE > 0);
68		74
69	for (i = 0; i < cnt; i++)	75	for (i = 0; i < cnt; i++)
70	page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE);	76	page_mapping_insert(AS_KERNEL, s + i * PAGE_SIZE, s + i * PAGE_SIZE, PAGE_NOT_CACHEABLE);
71		77
72	}	78	}
73		79
74	/** Insert mapping of page to frame.	80	/** Insert mapping of page to frame.
75	*	81	*
76	* Map virtual address @page to physical address @frame	82	* Map virtual address page to physical address frame
77	* using @flags. Allocate and setup any missing page tables.	83	* using flags. Allocate and setup any missing page tables.
78	*	84	*
79	* The page table must be locked and interrupts must be disabled.	85	* The page table must be locked and interrupts must be disabled.
80	*	86	*
81	* @param as Address space to wich page belongs.	87	* @param as Address space to wich page belongs.
82	* @param page Virtual address of the page to be mapped.	88	* @param page Virtual address of the page to be mapped.
83	* @param frame Physical address of memory frame to which the mapping is done.	89	* @param frame Physical address of memory frame to which the mapping is done.
84	* @param flags Flags to be used for mapping.	90	* @param flags Flags to be used for mapping.
85	*/	91	*/
86	void page_mapping_insert(as_t *as, __address page, __address frame, int flags)	92	void page_mapping_insert(as_t *as, __address page, __address frame, int flags)
87	{	93	{
88	ASSERT(page_mapping_operations);	94	ASSERT(page_mapping_operations);
89	ASSERT(page_mapping_operations->mapping_insert);	95	ASSERT(page_mapping_operations->mapping_insert);
90		96
91	page_mapping_operations->mapping_insert(as, page, frame, flags);	97	page_mapping_operations->mapping_insert(as, page, frame, flags);
92	}	98	}
93		99
94	/** Remove mapping of page.	100	/** Remove mapping of page.
95	*	101	*
96	* Remove any mapping of @page within address space @as.	102	* Remove any mapping of page within address space as.
97	* TLB shootdown should follow in order to make effects of	103	* TLB shootdown should follow in order to make effects of
98	* this call visible.	104	* this call visible.
99	*	105	*
100	* The page table must be locked and interrupts must be disabled.	106	* The page table must be locked and interrupts must be disabled.
101	*	107	*
102	* @param as Address space to wich page belongs.	108	* @param as Address space to wich page belongs.
103	* @param page Virtual address of the page to be demapped.	109	* @param page Virtual address of the page to be demapped.
104	*/	110	*/
105	void page_mapping_remove(as_t *as, __address page)	111	void page_mapping_remove(as_t *as, __address page)
106	{	112	{
107	ASSERT(page_mapping_operations);	113	ASSERT(page_mapping_operations);
108	ASSERT(page_mapping_operations->mapping_remove);	114	ASSERT(page_mapping_operations->mapping_remove);
109		115
110	page_mapping_operations->mapping_remove(as, page);	116	page_mapping_operations->mapping_remove(as, page);
111	}	117	}
112		118
113	/** Find mapping for virtual page	119	/** Find mapping for virtual page
114	*	120	*
115	* Find mapping for virtual page.	121	* Find mapping for virtual page.
116	*	122	*
117	* The page table must be locked and interrupts must be disabled.	123	* The page table must be locked and interrupts must be disabled.
118	*	124	*
119	* @param as Address space to wich page belongs.	125	* @param as Address space to wich page belongs.
120	* @param page Virtual page.	126	* @param page Virtual page.
121	*	127	*
122	* @return NULL if there is no such mapping; requested mapping otherwise.	128	* @return NULL if there is no such mapping; requested mapping otherwise.
123	*/	129	*/
124	pte_t page_mapping_find(as_t as, __address page)	130	pte_t page_mapping_find(as_t as, __address page)
125	{	131	{
126	ASSERT(page_mapping_operations);	132	ASSERT(page_mapping_operations);
127	ASSERT(page_mapping_operations->mapping_find);	133	ASSERT(page_mapping_operations->mapping_find);
128		134
129	return page_mapping_operations->mapping_find(as, page);	135	return page_mapping_operations->mapping_find(as, page);
130	}	136	}
131		137