15 |
#ifdef __i386__ |
#ifdef __i386__ |
16 |
static const big_char_like environment_kip[] = |
static const big_char_like environment_kip[] = |
17 |
{ |
{ |
18 |
0x4be6344c, 0x84050000, 0x00000000, 0x00000130, |
/* 0x0000 */ 0x4be6344c, 0x84050000, 0x00000000, 0x00000140, |
19 |
0x0014fab0, 0xf0129720, 0x00000000, 0x00000000, |
/* 0x0010 */ 0x0014fab0, 0xf0129720, 0x00000000, 0x00000000, |
20 |
0x00000000, 0x00041c70, 0x00040000, 0x000483a0, |
/* 0x0020 */ 0x00000000, 0x00041c70, 0x00040000, 0x000483a0, |
21 |
0x00000000, 0x00000000, 0x00000000, 0x00000000, |
/* 0x0030 */ 0x00000000, 0x00000000, 0x00000000, 0x00000000, |
22 |
0x00000000, 0x00300000, 0x00300000, 0x0030ba90, |
/* 0x0040 */ 0x00000000, 0x00300000, 0x00300000, 0x0030ba90, |
23 |
0x00000000, 0x01c00007, 0x00000000, 0x00000000, |
/* 0x0050 */ 0x00000000, 0x01d00007, 0x00000000, 0x00000000, |
24 |
0x00000000, 0x00000000, 0x00100200, 0x0014f000, |
/* 0x0060 */ 0x00000000, 0x00000000, 0x00100200, 0x0014f000, |
25 |
0x00000000, 0x00000000, 0x00000000, 0x00000000, |
/* 0x0070 */ 0x00000000, 0x00000000, 0x00000000, 0x00000000, |
26 |
0x00000000, 0x00000000, 0x00000000, 0x00000000, |
/* 0x0080 */ 0x00000000, 0x00000000, 0x00000000, 0x00000000, |
27 |
0x00000000, 0x00000000, 0x00000000, 0x00000000, |
/* 0x0090 */ 0x00000000, 0x00000000, 0x00000000, 0x00000000, |
28 |
0x00000000, 0x00000000, 0x000c2401, 0x0000000c, |
/* 0x00a0 */ 0x00000000, 0x00000000, 0x000c2401, 0x0000000c, |
29 |
0x00000000, 0x00000000, 0x00032600, 0x00000120, |
/* 0x00b0 */ 0x00000000, 0x00000000, 0x00032600, 0x00000120, |
30 |
0x00000000, 0x03001011, 0x00401006, 0x40000000, |
/* 0x00c0 */ 0x00000000, 0x03001011, 0x00401006, 0x40000001, |
31 |
0x00000910, 0x000008e0, 0x00000930, 0x00000940, |
/* 0x00d0 */ 0x00000910, 0x000008e0, 0x00000930, 0x00000940, |
32 |
0x00000800, 0x00000830, 0x000008d0, 0x00000860, |
/* 0x00e0 */ 0x00000800, 0x00000830, 0x000008d0, 0x00000860, |
33 |
0x00000870, 0x000008b0, 0x000008c0, 0x00000000, |
/* 0x00f0 */ 0x00000870, 0x000008b0, 0x000008c0, 0x00000000, |
34 |
|
|
35 |
0x00000000, 0x00000000, 0x00000000, 0x00000000, |
/* 0x0100 */ 0x00000000, 0x00000000, 0x00000000, 0x00000000, |
36 |
0x00000950, 0x00000000, 0x00000000, 0x00000000, |
/* 0x0110 */ 0x00000950, 0x00000000, 0x00000000, 0x00000000, |
37 |
0x00000000, 0x002addde, 0x00000000, 0x00000000, |
/* 0x0120 */ 0x00000000, 0x002addde, 0x00000000, 0x00000000, |
38 |
0x04020000, 0x00000a36, 0x00040000, 0x20614b55, |
/* 0x0130 */ 0x00000000, 0x002adddf, 0x00000000, 0x00000000, |
39 |
0x614b344c, 0x69503a3a, 0x63617473, 0x206f6968, |
/* 0x0140 */ 0x04020000, 0x00000a36, 0x00040000, 0x20614b55, |
40 |
0x7562202d, 0x20746c69, 0x4a206e6f, 0x32206e61, |
/* 0x0150 */ 0x614b344c, 0x69503a3a, 0x63617473, 0x206f6968, |
41 |
0x30322032, 0x30203530, 0x36323a32, 0x2034313a, |
/* 0x0160 */ 0x7562202d, 0x20746c69, 0x4a206e6f, 0x32206e61, |
42 |
0x6d207962, 0x75637261, 0x6c754073, 0x65737379, |
/* 0x0170 */ 0x30322032, 0x30203530, 0x36323a32, 0x2034313a, |
43 |
0x73752073, 0x20676e69, 0x20636367, 0x73726576, |
/* 0x0180 */ 0x6d207962, 0x75637261, 0x6c754073, 0x65737379, |
44 |
0x206e6f69, 0x2e332e33, 0x44282034, 0x61696265, |
/* 0x0190 */ 0x73752073, 0x20676e69, 0x20636367, 0x73726576, |
45 |
0x3a31206e, 0x2e332e33, 0x33312d34, 0x00000029, |
/* 0x01a0 */ 0x206e6f69, 0x2e332e33, 0x44282034, 0x61696265, |
46 |
0x00000000, 0x00000000, 0x00000000, 0x00000000, |
/* 0x01b0 */ 0x3a31206e, 0x2e332e33, 0x33312d34, 0x6d730029, |
47 |
0x00000004, 0xfffffc00, 0x00000001, 0x0009f800, |
/* 0x01c0 */ 0x736c6c61, 0x65636170, 0x00000073, 0x00000000, |
48 |
0x00100001, 0x07fffc00, 0x000a0004, 0x000efc00, |
/* 0x01d0 */ 0x00000004, 0xfffffc00, 0x00000001, 0x0009f800, |
49 |
0x07000002, 0x08000000, 0x00000201, 0xbffffc00, |
/* 0x01e0 */ 0x00100001, 0x07fffc00, 0x000a0004, 0x000efc00, |
50 |
0x00100002, 0x0014ec00, 0x00000000, 0x00000000 |
/* 0x01f0 */ 0x07000002, 0x08000000, 0x00000201, 0xbffffc00, |
51 |
|
/* 0x0200 */ 0x00100002, 0x0014ec00, 0x00000000, 0x00000000 |
52 |
|
|
53 |
/* The rest in the real KIP are 0x00, until offset 0x800, which |
/* The rest in the real KIP are 0x00, until offset 0x800, which |
54 |
contains the system call stubs. */ |
contains the system call stubs. */ |
134 |
printf ("failed\n"); \ |
printf ("failed\n"); \ |
135 |
fprintf (stderr, "FAIL: %s ", prefix); \ |
fprintf (stderr, "FAIL: %s ", prefix); \ |
136 |
fprintf (stderr, __VA_ARGS__); \ |
fprintf (stderr, __VA_ARGS__); \ |
137 |
|
fprintf (stderr, "\n"); \ |
138 |
failed = 1; \ |
failed = 1; \ |
139 |
if (!keep_going) \ |
if (!keep_going) \ |
140 |
exit (1); \ |
exit (1); \ |
142 |
} \ |
} \ |
143 |
while (0) |
while (0) |
144 |
|
|
145 |
|
#define check_nr(prefix,msg,val1,val2) \ |
146 |
|
do \ |
147 |
|
{ \ |
148 |
|
_L4_word_t v1 = (val1); \ |
149 |
|
_L4_word_t v2 = (val2); \ |
150 |
|
\ |
151 |
|
check (prefix, msg, (v1 == v2), #val1 " == 0x%x != 0x%x", \ |
152 |
|
v1, v2); \ |
153 |
|
} \ |
154 |
|
while (0) |
155 |
|
|
156 |
|
|
157 |
void test (void); |
void test (void); |