blob: 000e400ab18d18c3ba39c56823a806cb736ce4de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
// IBM_PROLOG_BEGIN_TAG
// This is an automatically generated prolog.
//
// $Source: src/usr/testcore/kernel/vmmbasetest.H $
//
// IBM CONFIDENTIAL
//
// COPYRIGHT International Business Machines Corp. 2011
//
// p1
//
// Object Code Only (OCO) source materials
// Licensed Internal Code Source Materials
// IBM HostBoot Licensed Internal Code
//
// The source code for this program is not published or other-
// wise divested of its trade secrets, irrespective of what has
// been deposited with the U.S. Copyright Office.
//
// Origin: 30
//
// IBM_PROLOG_END
/** @file vmmbasetest.H
* @brief Test cases for permission settings on the base block of the VMM.
*/
#ifndef __KERNEL_VMMBASETEST_H
#define __KERNEL_VMMBASETEST_H
#include <cxxtest/TestSuite.H>
#include <sys/task.h>
#include <kernel/console.H>
#include <arch/ppc.H>
class VmmBaseTest : public CxxTest::TestSuite
{
public:
static volatile int rc;
void testNullAccess()
{
rc = 0; sync();
printk("Test case: Expect to see uncaught exception! ");
task_create(readFromNULL, NULL);
while (rc == 0) task_yield();
task_yield();
if (rc == -1)
{
TS_FAIL("Write to NULL not caught.");
}
rc = 0; sync();
printk("Test case: Expect to see uncaught exception! ");
task_create(writeToNULL, NULL);
while (rc == 0) task_yield();
task_yield();
if (rc == -1)
{
TS_FAIL("Write to NULL not caught.");
}
}
void testWriteToKernelCode()
{
rc = 0; sync();
printk("Test case: Expect to see uncaught exception! ");
task_create(writeToKernelCode, NULL);
while (rc == 0) task_yield();
task_yield();
if (rc == -1)
{
TS_FAIL("Write to kernel code not caught.");
}
}
void testExecuteKernelDataSpace()
{
// @TODO. VMM not ready.
}
void testWriteModuleText()
{
// @TODO. VMM not ready.
}
void testExecuteModuleDataSpace()
{
// @TODO. VMM not ready.
}
private:
static void readFromNULL(void* unused)
{
rc = 1; sync();
printk("%lx", (*(uint64_t*)NULL)); sync();
rc = -1; sync();
task_end();
}
static void writeToNULL(void* unused)
{
rc = 1; sync();
(*(uint64_t*)NULL) = 0x12345678; sync();
rc = -1; sync();
task_end();
}
static void writeToKernelCode(void* unused)
{
rc = 1; sync();
(*(*(uint64_t**)&printk)) = 0x12345678; sync();
rc = -1; sync();
task_end();
}
};
volatile int VmmBaseTest::rc = 0;
#endif
|