WebSVN – HelenOS – Diff – /trunk/kernel/test/mm/mapping1.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 <mm/as.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
 
char * test_mapping1(bool quiet)
{
    uintptr_t frame0, frame1;
    uint32_t v0, v1;
 
    frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
    frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
   
    if (!quiet)
        printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
    *((uint32_t *) frame0) = VALUE0;
    if (!quiet)
        printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));
    *((uint32_t *) frame1) = VALUE1;
   
    if (!quiet)
        printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));
    page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT | PAGE_WRITE);
    if (!quiet)
        printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));  
    page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT | PAGE_WRITE);
   
    v0 = *((uint32_t *) PAGE0);
    v1 = *((uint32_t *) PAGE1);
    if (!quiet) {
        printf("Value at virtual address %p is %#x.\n", PAGE0, v0);
        printf("Value at virtual address %p is %#x.\n", PAGE1, v1);
    }
   
    if (v0 != VALUE0)
        return "Value at v0 not equal to VALUE0";
    if (v1 != VALUE1)
        return "Value at v1 not equal to VALUE1";
   
    if (!quiet)
        printf("Writing %#x to virtual address %p.\n", 0, PAGE0);
    *((uint32_t *) PAGE0) = 0;
    if (!quiet)
        printf("Writing %#x to virtual address %p.\n", 0, PAGE1);
    *((uint32_t *) PAGE1) = 0; 
 
    v0 = *((uint32_t *) PAGE0);
    v1 = *((uint32_t *) PAGE1);
   
    if (!quiet) {
        printf("Value at virtual address %p is %#x.\n", PAGE0, *((uint32_t *) PAGE0)); 
        printf("Value at virtual address %p is %#x.\n", PAGE1, *((uint32_t *) PAGE1));
    }
 
    if (v0 != 0)
        return "Value at v0 not equal to 0";
    if (v1 != 0)
        return "Value at v1 not equal to 0";
   
    return NULL;   
}
 

Rev 2053	Rev 2071
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		28
29	#include <print.h>	29	#include <print.h>
30	#include <test.h>	30	#include <test.h>
31	#include <mm/page.h>	31	#include <mm/page.h>
32	#include <mm/frame.h>	32	#include <mm/frame.h>
33	#include <mm/as.h>	33	#include <mm/as.h>
34	#include <arch/mm/page.h>	34	#include <arch/mm/page.h>
35	#include <arch/types.h>	35	#include <arch/types.h>
36	#include <debug.h>	36	#include <debug.h>
37		37
38	#define PAGE0 0x10000000	38	#define PAGE0 0x10000000
39	#define PAGE1 (PAGE0+PAGE_SIZE)	39	#define PAGE1 (PAGE0+PAGE_SIZE)
40		40
41	#define VALUE0 0x01234567	41	#define VALUE0 0x01234567
42	#define VALUE1 0x89abcdef	42	#define VALUE1 0x89abcdef
43		43
44	char * test_mapping1(bool quiet)	44	char * test_mapping1(bool quiet)
45	{	45	{
46	uintptr_t frame0, frame1;	46	uintptr_t frame0, frame1;
47	uint32_t v0, v1;	47	uint32_t v0, v1;
48		48
49	frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);	49	frame0 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
50	frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);	50	frame1 = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_KA);
51		51
52	if (!quiet)	52	if (!quiet)
53	printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));	53	printf("Writing %#x to physical address %p.\n", VALUE0, KA2PA(frame0));
54	((uint32_t ) frame0) = VALUE0;	54	((uint32_t ) frame0) = VALUE0;
55	if (!quiet)	55	if (!quiet)
56	printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));	56	printf("Writing %#x to physical address %p.\n", VALUE1, KA2PA(frame1));
57	((uint32_t ) frame1) = VALUE1;	57	((uint32_t ) frame1) = VALUE1;
58		58
59	if (!quiet)	59	if (!quiet)
60	printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));	60	printf("Mapping virtual address %p to physical address %p.\n", PAGE0, KA2PA(frame0));
61	page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT \| PAGE_WRITE);	61	page_mapping_insert(AS_KERNEL, PAGE0, KA2PA(frame0), PAGE_PRESENT \| PAGE_WRITE);
62	if (!quiet)	62	if (!quiet)
63	printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));	63	printf("Mapping virtual address %p to physical address %p.\n", PAGE1, KA2PA(frame1));
64	page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT \| PAGE_WRITE);	64	page_mapping_insert(AS_KERNEL, PAGE1, KA2PA(frame1), PAGE_PRESENT \| PAGE_WRITE);
65		65
66	v0 = ((uint32_t ) PAGE0);	66	v0 = ((uint32_t ) PAGE0);
67	v1 = ((uint32_t ) PAGE1);	67	v1 = ((uint32_t ) PAGE1);
68	if (!quiet) {	68	if (!quiet) {
69	printf("Value at virtual address %p is %#x.\n", PAGE0, v0);	69	printf("Value at virtual address %p is %#x.\n", PAGE0, v0);
70	printf("Value at virtual address %p is %#x.\n", PAGE1, v1);	70	printf("Value at virtual address %p is %#x.\n", PAGE1, v1);
71	}	71	}
72		72
73	if (v0 != VALUE0)	73	if (v0 != VALUE0)
74	return "Value at v0 not equal to VALUE0";	74	return "Value at v0 not equal to VALUE0";
75	if (v1 != VALUE1)	75	if (v1 != VALUE1)
76	return "Value at v1 not equal to VALUE1";	76	return "Value at v1 not equal to VALUE1";
77		77
78	if (!quiet)	78	if (!quiet)
79	printf("Writing %#x to virtual address %p.\n", 0, PAGE0);	79	printf("Writing %#x to virtual address %p.\n", 0, PAGE0);
80	((uint32_t ) PAGE0) = 0;	80	((uint32_t ) PAGE0) = 0;
81	if (!quiet)	81	if (!quiet)
82	printf("Writing %#x to virtual address %p.\n", 0, PAGE1);	82	printf("Writing %#x to virtual address %p.\n", 0, PAGE1);
83	((uint32_t ) PAGE1) = 0;	83	((uint32_t ) PAGE1) = 0;
84		84
85	v0 = ((uint32_t ) PAGE0);	85	v0 = ((uint32_t ) PAGE0);
86	v1 = ((uint32_t ) PAGE1);	86	v1 = ((uint32_t ) PAGE1);
87		87
88	if (!quiet) {	88	if (!quiet) {
89	printf("Value at virtual address %p is %#x.\n", PAGE0, ((uint32_t ) PAGE0));	89	printf("Value at virtual address %p is %#x.\n", PAGE0, ((uint32_t ) PAGE0));
90	printf("Value at virtual address %p is %#x.\n", PAGE1, ((uint32_t ) PAGE1));	90	printf("Value at virtual address %p is %#x.\n", PAGE1, ((uint32_t ) PAGE1));
91	}	91	}
92		92
93	if (v0 != 0)	93	if (v0 != 0)
94	return "Value at v0 not equal to 0";	94	return "Value at v0 not equal to 0";
95	if (v1 != 0)	95	if (v1 != 0)
96	return "Value at v1 not equal to 0";	96	return "Value at v1 not equal to 0";
97		97
98	return NULL;	98	return NULL;
99	}	99	}
100		100

Subversion Repositories HelenOS

(root)/trunk/kernel/test/mm/mapping1.c – Rev 2053 → 2071