WebSVN – HelenOS-historic – Diff – /SPARTAN/trunk/test/mm/mapping1/test.c


/*
 * Copyright (C) 2005 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.
 */
#include <print.h>
#include <test.h>
#include <mm/page.h>
#include <mm/frame.h>
#include <arch/mm/page.h>
#include <arch/types.h>
#include <debug.h>
 
#define PAGE0   0x10000000
#define PAGE1   (PAGE0+PAGE_SIZE)
 
#define VALUE0  0x01234567
#define VALUE1  0x89abcdef
 
void test(void)
{
    __address frame0, frame1;
    __u32 v0, v1;
 
    printf("Memory management test mapping #1\n");
 
    frame0 = frame_alloc(FRAME_KA);
    frame1 = frame_alloc(FRAME_KA);
 
    printf("Writing %L to physical address %P.\n", VALUE0, KA2PA(frame0));
    *((__u32 *) frame0) = VALUE0;
    printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1));
    *((__u32 *) frame1) = VALUE1;
   
    printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0));
    page_mapping_insert(PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE, 0);
    printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1));  
    page_mapping_insert(PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE, 0);
   
    printf("Value at virtual address %P is %L.\n", PAGE0, v0 = *((__u32 *) PAGE0));
    printf("Value at virtual address %P is %L.\n", PAGE1, v1 = *((__u32 *) PAGE1));
   
    ASSERT(v0 == VALUE0);
    ASSERT(v1 == VALUE1);
 
    printf("Writing %X to virtual address %P.\n", 0, PAGE0);
    *((__u32 *) PAGE0) = 0;
    printf("Writing %X to virtual address %P.\n", 0, PAGE1);
    *((__u32 *) PAGE1) = 0;
 
    v0 = *((__u32 *) PAGE0);
    v1 = *((__u32 *) PAGE1);
   
    printf("Value at virtual address %P is %X.\n", PAGE0, *((__u32 *) PAGE0)); 
    printf("Value at virtual address %P is %X.\n", PAGE1, *((__u32 *) PAGE1));
 
    ASSERT(v0 == 0);
    ASSERT(v1 == 0);
   
    printf("Test passed.\n");
   
}
 

Rev 401	Rev 492
1	/*	1	/*
2	* Copyright (C) 2005 Jakub Jermar	2	* Copyright (C) 2005 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	#include <print.h>	28	#include <print.h>
29	#include <test.h>	29	#include <test.h>
30	#include <mm/page.h>	30	#include <mm/page.h>
31	#include <mm/frame.h>	31	#include <mm/frame.h>
32	#include <arch/mm/page.h>	32	#include <arch/mm/page.h>
33	#include <arch/types.h>	33	#include <arch/types.h>
34	#include <debug.h>	34	#include <debug.h>
35		35
36	#define PAGE0 0x10000000	36	#define PAGE0 0x10000000
37	#define PAGE1 (PAGE0+PAGE_SIZE)	37	#define PAGE1 (PAGE0+PAGE_SIZE)
38		38
39	#define VALUE0 0x01234567	39	#define VALUE0 0x01234567
40	#define VALUE1 0x89abcdef	40	#define VALUE1 0x89abcdef
41		41
42	void test(void)	42	void test(void)
43	{	43	{
44	__address frame0, frame1;	44	__address frame0, frame1;
45	__u32 v0, v1;	45	__u32 v0, v1;
46		46
47	printf("Memory management test mapping #1\n");	47	printf("Memory management test mapping #1\n");
48		48
49	frame0 = frame_alloc(FRAME_KA);	49	frame0 = frame_alloc(FRAME_KA);
50	frame1 = frame_alloc(FRAME_KA);	50	frame1 = frame_alloc(FRAME_KA);
51		51
52	printf("Writing %L to physical address %P.\n", VALUE0, KA2PA(frame0));	52	printf("Writing %L to physical address %P.\n", VALUE0, KA2PA(frame0));
53	((__u32 ) frame0) = VALUE0;	53	((__u32 ) frame0) = VALUE0;
54	printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1));	54	printf("Writing %L to physical address %P.\n", VALUE1, KA2PA(frame1));
55	((__u32 ) frame1) = VALUE1;	55	((__u32 ) frame1) = VALUE1;
56		56
57	printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0));	57	printf("Mapping virtual address %P to physical address %P.\n", PAGE0, KA2PA(frame0));
58	map_page_to_frame(PAGE0, KA2PA(frame0), PAGE_PRESENT \| PAGE_WRITE, 0);	58	page_mapping_insert(PAGE0, KA2PA(frame0), PAGE_PRESENT \| PAGE_WRITE, 0);
59	printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1));	59	printf("Mapping virtual address %P to physical address %P.\n", PAGE1, KA2PA(frame1));
60	map_page_to_frame(PAGE1, KA2PA(frame1), PAGE_PRESENT \| PAGE_WRITE, 0);	60	page_mapping_insert(PAGE1, KA2PA(frame1), PAGE_PRESENT \| PAGE_WRITE, 0);
61		61
62	printf("Value at virtual address %P is %L.\n", PAGE0, v0 = ((__u32 ) PAGE0));	62	printf("Value at virtual address %P is %L.\n", PAGE0, v0 = ((__u32 ) PAGE0));
63	printf("Value at virtual address %P is %L.\n", PAGE1, v1 = ((__u32 ) PAGE1));	63	printf("Value at virtual address %P is %L.\n", PAGE1, v1 = ((__u32 ) PAGE1));
64		64
65	ASSERT(v0 == VALUE0);	65	ASSERT(v0 == VALUE0);
66	ASSERT(v1 == VALUE1);	66	ASSERT(v1 == VALUE1);
67		67
68	printf("Writing %X to virtual address %P.\n", 0, PAGE0);	68	printf("Writing %X to virtual address %P.\n", 0, PAGE0);
69	((__u32 ) PAGE0) = 0;	69	((__u32 ) PAGE0) = 0;
70	printf("Writing %X to virtual address %P.\n", 0, PAGE1);	70	printf("Writing %X to virtual address %P.\n", 0, PAGE1);
71	((__u32 ) PAGE1) = 0;	71	((__u32 ) PAGE1) = 0;
72		72
73	v0 = ((__u32 ) PAGE0);	73	v0 = ((__u32 ) PAGE0);
74	v1 = ((__u32 ) PAGE1);	74	v1 = ((__u32 ) PAGE1);
75		75
76	printf("Value at virtual address %P is %X.\n", PAGE0, ((__u32 ) PAGE0));	76	printf("Value at virtual address %P is %X.\n", PAGE0, ((__u32 ) PAGE0));
77	printf("Value at virtual address %P is %X.\n", PAGE1, ((__u32 ) PAGE1));	77	printf("Value at virtual address %P is %X.\n", PAGE1, ((__u32 ) PAGE1));
78		78
79	ASSERT(v0 == 0);	79	ASSERT(v0 == 0);
80	ASSERT(v1 == 0);	80	ASSERT(v1 == 0);
81		81
82	printf("Test passed.\n");	82	printf("Test passed.\n");
83		83
84	}	84	}
85		85

Subversion Repositories HelenOS-historic

(root)/SPARTAN/trunk/test/mm/mapping1/test.c – Rev 401 → 492