WebSVN – HelenOS – Diff – /branches/tracing/kernel/arch/arm32/src/mm/page_fault.c


/*
 * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
 * 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 arm32mm
 * @{
 */
/** @file
 *  @brief Page fault related functions.
 */
#include <panic.h>
#include <arch/exception.h>
 
#include <arch/mm/page_fault.h>
#include <mm/as.h>
#include <genarch/mm/page_pt.h>
#include <arch.h>
#include <interrupt.h>
#include <print.h>
 
/** Returns value stored in fault status register.
 *
 *  @return Value stored in CP15 fault status register (FSR).
 */
static inline fault_status_t read_fault_status_register(void)
{
    fault_status_union_t fsu;
   
    /* fault status is stored in CP15 register 5 */
    asm volatile (
        "mrc p15, 0, %[dummy], c5, c0, 0"
        : [dummy] "=r" (fsu.dummy)
    );
   
    return fsu.fs;
}
 
/** Returns FAR (fault address register) content.
 *
 * @return FAR (fault address register) content (address that caused a page
 *         fault)
 */
static inline uintptr_t read_fault_address_register(void)
{
    uintptr_t ret;
   
    /* fault adress is stored in CP15 register 6 */
    asm volatile (
        "mrc p15, 0, %[ret], c6, c0, 0"
        : [ret] "=r" (ret)
    );
   
    return ret;
}
 
/** Decides whether the instruction is load/store or not.
 *
 * @param instr Instruction
 *
 * @return true when instruction is load/store, false otherwise
 *
 */
static inline bool is_load_store_instruction(instruction_t instr)
{
    /* load store immediate offset */
    if (instr.type == 0x2)
        return true;
   
 
    /* load store register offset */
    if ((instr.type == 0x3) && (instr.bit4 == 0))
        return true;
   
 
    /* load store multiple */
    if (instr.type == 0x4)
        return true;
   
 
    /* oprocessor load/store */
    if (instr.type == 0x6)
        return true;
   
 
    return false;
}
 
/** Decides whether the instruction is swap or not.
 *
 * @param instr Instruction
 *
 * @return true when instruction is swap, false otherwise
 */
static inline bool is_swap_instruction(instruction_t instr)
{
    /* swap, swapb instruction */
    if ((instr.type == 0x0) &&
        ((instr.opcode == 0x8) || (instr.opcode == 0xa)) &&
        (instr.access == 0x0) && (instr.bits567 == 0x4) && (instr.bit4 == 1))
        return true;
   
 
    return false;
}
 
/** Decides whether read or write into memory is requested.
 *
 * @param instr_addr   Address of instruction which tries to access memory.
 * @param badvaddr     Virtual address the instruction tries to access.
 *
 * @return Type of access into memory, PF_ACCESS_EXEC if no memory access is
 *     requested.
 */
static pf_access_t get_memory_access_type(uint32_t instr_addr,
    uintptr_t badvaddr)
{
    instruction_union_t instr_union;
    instr_union.pc = instr_addr;
 
    instruction_t instr = *(instr_union.instr);
 
    /* undefined instructions */
    if (instr.condition == 0xf) {
        panic("page_fault - instruction does not access memory "
            "(instr_code: %x, badvaddr:%x).", instr, badvaddr);
        return PF_ACCESS_EXEC;
    }
 
    /* load store instructions */
    if (is_load_store_instruction(instr)) {
        if (instr.access == 1) {
            return PF_ACCESS_READ;
        } else {
            return PF_ACCESS_WRITE;
        }
    }
 
    /* swap, swpb instruction */
    if (is_swap_instruction(instr)) {
        return PF_ACCESS_WRITE;
    }
 
    panic("page_fault - instruction doesn't access memory "
        "(instr_code: %x, badvaddr:%x).", instr, badvaddr);
 
    return PF_ACCESS_EXEC;
}
 
/** Handles "data abort" exception (load or store at invalid address).
 *
 * @param exc_no    Exception number.
 * @param istate    CPU state when exception occured.
 */
void data_abort(int exc_no, istate_t *istate)
{
    fault_status_t fsr __attribute__ ((unused)) =
        read_fault_status_register();
    uintptr_t badvaddr = read_fault_address_register();
 
    pf_access_t access = get_memory_access_type(istate->pc, badvaddr);
 
    int ret = as_page_fault(badvaddr, access, istate);
 
    if (ret == AS_PF_FAULT) {
        print_istate(istate);
        printf("page fault - pc: %x, va: %x, status: %x(%x), "
            "access:%d\n", istate->pc, badvaddr, fsr.status, fsr,
            access);
       
        fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
        panic("Page fault.");
    }
}
 
#ifdef CONFIG_UDEBUG
 
/** Check whether the abort was caused by a bkpt instruction.
 *
 * This must be called after (possibly) fetching the faulting page.
 *
 * TODO: When paging-out is implemented, make sure the page
 * is still present when reading the instruction (we don't want
 * to trigger another exception).
 */
static void bkpt_check(istate_t *istate)
{
    uint32_t *instr_addr = (uint32_t *) istate->pc;
    uint32_t opcode = *instr_addr;
 
    if ((opcode & 0xfff000f0) == 0xe1200070) {
        /* Bkpt */
 
        if (istate_from_uspace(istate)) {
            udebug_breakpoint_event(0);
        } else {
            panic("Unexpected BKPT instruction at 0x%x",
                istate->pc);
        }
    }
}
 
#endif
 
/** Handles "prefetch abort" exception (instruction couldn't be executed).
 *
 * @param exc_no    Exception number.
 * @param istate    CPU state when exception occured.
 */
void prefetch_abort(int exc_no, istate_t *istate)
{
    int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);
 
    if (ret == AS_PF_FAULT) {
        printf("prefetch_abort\n");
        print_istate(istate);
        panic("page fault - prefetch_abort at address: %x.",
            istate->pc);
    }
 
#ifdef CONFIG_UDEBUG
    /* Now check if the abort was caused by a breakpoint instruction */
    bkpt_check(istate);
#else
    panic("Unexpected BKPT instruction at 0x%x", istate->pc);
#endif
 
}
 
/** @}
 */
 

Rev 3432	Rev 4377
1	/*	1	/*
2	* Copyright (c) 2007 Pavel Jancik, Michal Kebrt	2	* Copyright (c) 2007 Pavel Jancik, Michal Kebrt
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 arm32mm	29	/** @addtogroup arm32mm
30	* @{	30	* @{
31	*/	31	*/
32	/** @file	32	/** @file
33	* @brief Page fault related functions.	33	* @brief Page fault related functions.
34	*/	34	*/
35	#include <panic.h>	35	#include <panic.h>
36	#include <arch/exception.h>	36	#include <arch/exception.h>
37	#include <arch/debug/print.h>	-
38	#include <arch/mm/page_fault.h>	37	#include <arch/mm/page_fault.h>
39	#include <mm/as.h>	38	#include <mm/as.h>
40	#include <genarch/mm/page_pt.h>	39	#include <genarch/mm/page_pt.h>
41	#include <arch.h>	40	#include <arch.h>
42	#include <interrupt.h>	41	#include <interrupt.h>
43	#include <print.h>	42	#include <print.h>
44		43
45	/** Returns value stored in fault status register.	44	/** Returns value stored in fault status register.
46	*	45	*
47	* @return Value stored in CP15 fault status register (FSR).	46	* @return Value stored in CP15 fault status register (FSR).
48	*/	47	*/
49	static inline fault_status_t read_fault_status_register(void)	48	static inline fault_status_t read_fault_status_register(void)
50	{	49	{
51	fault_status_union_t fsu;	50	fault_status_union_t fsu;
52		51
53	/* fault status is stored in CP15 register 5 */	52	/* fault status is stored in CP15 register 5 */
54	asm volatile (	53	asm volatile (
55	"mrc p15, 0, %0, c5, c0, 0"	54	"mrc p15, 0, %[dummy], c5, c0, 0"
56	: "=r"(fsu.dummy)	55	: [dummy] "=r" (fsu.dummy)
57	);	56	);
-		57
58	return fsu.fs;	58	return fsu.fs;
59	}	59	}
60		60
61	/** Returns FAR (fault address register) content.	61	/** Returns FAR (fault address register) content.
62	*	62	*
63	* @return FAR (fault address register) content (address that caused a page	63	* @return FAR (fault address register) content (address that caused a page
64	* fault)	64	* fault)
65	*/	65	*/
66	static inline uintptr_t read_fault_address_register(void)	66	static inline uintptr_t read_fault_address_register(void)
67	{	67	{
68	uintptr_t ret;	68	uintptr_t ret;
69		69
70	/* fault adress is stored in CP15 register 6 */	70	/* fault adress is stored in CP15 register 6 */
71	asm volatile (	71	asm volatile (
72	"mrc p15, 0, %0, c6, c0, 0"	72	"mrc p15, 0, %[ret], c6, c0, 0"
73	: "=r"(ret)	73	: [ret] "=r" (ret)
74	);	74	);
-		75
75	return ret;	76	return ret;
76	}	77	}
77		78
78	/** Decides whether the instruction is load/store or not.	79	/** Decides whether the instruction is load/store or not.
79	*	80	*
80	* @param instr Instruction	81	* @param instr Instruction
81	*	82	*
82	* @return true when instruction is load/store, false otherwise	83	* @return true when instruction is load/store, false otherwise
-		84	*
83	*/	85	*/
84	static inline bool is_load_store_instruction(instruction_t instr)	86	static inline bool is_load_store_instruction(instruction_t instr)
85	{	87	{
86	/* load store immediate offset */	88	/* load store immediate offset */
87	if (instr.type == 0x2) {	89	if (instr.type == 0x2)
88	return true;	90	return true;
89	}	91
90		-
91	/* load store register offset */	92	/* load store register offset */
92	if (instr.type == 0x3 && instr.bit4 == 0) {	93	if ((instr.type == 0x3) && (instr.bit4 == 0))
93	return true;	94	return true;
94	}	95
95		-
96	/* load store multiple */	96	/* load store multiple */
97	if (instr.type == 0x4) {	97	if (instr.type == 0x4)
98	return true;	98	return true;
99	}	99
100		-
101	/* oprocessor load/store */	100	/* oprocessor load/store */
102	if (instr.type == 0x6) {	101	if (instr.type == 0x6)
103	return true;	102	return true;
104	}	103
105		-
106	return false;	104	return false;
107	}	105	}
108		106
109	/** Decides whether the instruction is swap or not.	107	/** Decides whether the instruction is swap or not.
110	*	108	*
111	* @param instr Instruction	109	* @param instr Instruction
112	*	110	*
113	* @return true when instruction is swap, false otherwise	111	* @return true when instruction is swap, false otherwise
114	*/	112	*/
115	static inline bool is_swap_instruction(instruction_t instr)	113	static inline bool is_swap_instruction(instruction_t instr)
116	{	114	{
117	/* swap, swapb instruction */	115	/* swap, swapb instruction */
118	if (instr.type == 0x0 &&	116	if ((instr.type == 0x0) &&
119	(instr.opcode == 0x8 \|\| instr.opcode == 0xa) &&	117	((instr.opcode == 0x8) \|\| (instr.opcode == 0xa)) &&
120	instr.access == 0x0 && instr.bits567 == 0x4 && instr.bit4 == 1) {	118	(instr.access == 0x0) && (instr.bits567 == 0x4) && (instr.bit4 == 1))
121	return true;	119	return true;
122	}	120
123		-
124	return false;	121	return false;
125	}	122	}
126		123
127	/** Decides whether read or write into memory is requested.	124	/** Decides whether read or write into memory is requested.
128	*	125	*
129	* @param instr_addr Address of instruction which tries to access memory.	126	* @param instr_addr Address of instruction which tries to access memory.
130	* @param badvaddr Virtual address the instruction tries to access.	127	* @param badvaddr Virtual address the instruction tries to access.
131	*	128	*
132	* @return Type of access into memory, PF_ACCESS_EXEC if no memory access is	129	* @return Type of access into memory, PF_ACCESS_EXEC if no memory access is
133	* requested.	130	* requested.
134	*/	131	*/
135	static pf_access_t get_memory_access_type(uint32_t instr_addr,	132	static pf_access_t get_memory_access_type(uint32_t instr_addr,
136	uintptr_t badvaddr)	133	uintptr_t badvaddr)
137	{	134	{
138	instruction_union_t instr_union;	135	instruction_union_t instr_union;
139	instr_union.pc = instr_addr;	136	instr_union.pc = instr_addr;
140		137
141	instruction_t instr = *(instr_union.instr);	138	instruction_t instr = *(instr_union.instr);
142		139
143	/* undefined instructions */	140	/* undefined instructions */
144	if (instr.condition == 0xf) {	141	if (instr.condition == 0xf) {
145	panic("page_fault - instruction doesn't access memory "	142	panic("page_fault - instruction does not access memory "
146	"(instr_code: %x, badvaddr:%x)", instr, badvaddr);	143	"(instr_code: %x, badvaddr:%x).", instr, badvaddr);
147	return PF_ACCESS_EXEC;	144	return PF_ACCESS_EXEC;
148	}	145	}
149		146
150	/* load store instructions */	147	/* load store instructions */
151	if (is_load_store_instruction(instr)) {	148	if (is_load_store_instruction(instr)) {
152	if (instr.access == 1) {	149	if (instr.access == 1) {
153	return PF_ACCESS_READ;	150	return PF_ACCESS_READ;
154	} else {	151	} else {
155	return PF_ACCESS_WRITE;	152	return PF_ACCESS_WRITE;
156	}	153	}
157	}	154	}
158		155
159	/* swap, swpb instruction */	156	/* swap, swpb instruction */
160	if (is_swap_instruction(instr)) {	157	if (is_swap_instruction(instr)) {
161	return PF_ACCESS_WRITE;	158	return PF_ACCESS_WRITE;
162	}	159	}
163		160
164	panic("page_fault - instruction doesn't access memory "	161	panic("page_fault - instruction doesn't access memory "
165	"(instr_code: %x, badvaddr:%x)", instr, badvaddr);	162	"(instr_code: %x, badvaddr:%x).", instr, badvaddr);
166		163
167	return PF_ACCESS_EXEC;	164	return PF_ACCESS_EXEC;
168	}	165	}
169		166
170	/** Handles "data abort" exception (load or store at invalid address).	167	/** Handles "data abort" exception (load or store at invalid address).
171	*	168	*
172	* @param exc_no Exception number.	169	* @param exc_no Exception number.
173	* @param istate CPU state when exception occured.	170	* @param istate CPU state when exception occured.
174	*/	171	*/
175	void data_abort(int exc_no, istate_t *istate)	172	void data_abort(int exc_no, istate_t *istate)
176	{	173	{
177	fault_status_t fsr __attribute__ ((unused)) =	174	fault_status_t fsr __attribute__ ((unused)) =
178	read_fault_status_register();	175	read_fault_status_register();
179	uintptr_t badvaddr = read_fault_address_register();	176	uintptr_t badvaddr = read_fault_address_register();
180		177
181	pf_access_t access = get_memory_access_type(istate->pc, badvaddr);	178	pf_access_t access = get_memory_access_type(istate->pc, badvaddr);
182		179
183	int ret = as_page_fault(badvaddr, access, istate);	180	int ret = as_page_fault(badvaddr, access, istate);
184		181
185	if (ret == AS_PF_FAULT) {	182	if (ret == AS_PF_FAULT) {
186	print_istate(istate);	183	print_istate(istate);
187	dprintf("page fault - pc: %x, va: %x, status: %x(%x), "	184	printf("page fault - pc: %x, va: %x, status: %x(%x), "
188	"access:%d\n", istate->pc, badvaddr, fsr.status, fsr,	185	"access:%d\n", istate->pc, badvaddr, fsr.status, fsr,
189	access);	186	access);
190		187
191	fault_if_from_uspace(istate, "Page fault: %#x", badvaddr);	188	fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
192	panic("page fault\n");	189	panic("Page fault.");
193	}	190	}
194	}	191	}
195		192
196	#ifdef CONFIG_UDEBUG	193	#ifdef CONFIG_UDEBUG
197		194
198	/** Check whether the abort was caused by a bkpt instruction.	195	/** Check whether the abort was caused by a bkpt instruction.
199	*	196	*
200	* This must be called after (possibly) fetching the faulting page.	197	* This must be called after (possibly) fetching the faulting page.
201	*	198	*
202	* TODO: When paging-out is implemented, make sure the page	199	* TODO: When paging-out is implemented, make sure the page
203	* is still present when reading the instruction (we don't want	200	* is still present when reading the instruction (we don't want
204	* to trigger another exception).	201	* to trigger another exception).
205	*/	202	*/
206	static void bkpt_check(istate_t *istate)	203	static void bkpt_check(istate_t *istate)
207	{	204	{
208	uint32_t instr_addr = (uint32_t ) istate->pc;	205	uint32_t instr_addr = (uint32_t ) istate->pc;
209	uint32_t opcode = *instr_addr;	206	uint32_t opcode = *instr_addr;
210		207
211	if ((opcode & 0xfff000f0) == 0xe1200070) {	208	if ((opcode & 0xfff000f0) == 0xe1200070) {
212	/* Bkpt */	209	/* Bkpt */
213		210
214	if (istate_from_uspace(istate)) {	211	if (istate_from_uspace(istate)) {
215	udebug_breakpoint_event(0);	212	udebug_breakpoint_event(0);
216	} else {	213	} else {
217	panic("Unexpected BKPT instruction at 0x%x",	214	panic("Unexpected BKPT instruction at 0x%x",
218	istate->pc);	215	istate->pc);
219	}	216	}
220	}	217	}
221	}	218	}
222		219
223	#endif	220	#endif
224		221
225	/** Handles "prefetch abort" exception (instruction couldn't be executed).	222	/** Handles "prefetch abort" exception (instruction couldn't be executed).
226	*	223	*
227	* @param exc_no Exception number.	224	* @param exc_no Exception number.
228	* @param istate CPU state when exception occured.	225	* @param istate CPU state when exception occured.
229	*/	226	*/
230	void prefetch_abort(int exc_no, istate_t *istate)	227	void prefetch_abort(int exc_no, istate_t *istate)
231	{	228	{
232	int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);	229	int ret = as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);
233		230
234	if (ret == AS_PF_FAULT) {	231	if (ret == AS_PF_FAULT) {
235	dprintf("prefetch_abort\n");	232	printf("prefetch_abort\n");
236	print_istate(istate);	233	print_istate(istate);
237	panic("page fault - prefetch_abort at address: %x\n",	234	panic("page fault - prefetch_abort at address: %x.",
238	istate->pc);	235	istate->pc);
239	}	236	}
240		237
241	#ifdef CONFIG_UDEBUG	238	#ifdef CONFIG_UDEBUG
242	/* Now check if the abort was caused by a breakpoint instruction */	239	/* Now check if the abort was caused by a breakpoint instruction */
243	bkpt_check(istate);	240	bkpt_check(istate);
244	#else	241	#else
245	panic("Unexpected BKPT instruction at 0x%x", istate->pc);	242	panic("Unexpected BKPT instruction at 0x%x", istate->pc);
246	#endif	243	#endif
247		244
248	}	245	}
249		246
250	/** @}	247	/** @}
251	*/	248	*/
252		249

Subversion Repositories HelenOS

(root)/branches/tracing/kernel/arch/arm32/src/mm/page_fault.c – Rev 3432 → 4377