14
#define KERNEL_RW_POINTER ((void *)0xc0010000)
16
//#warning Not really sure where kernel memory is. Guessing.
17
#define KERNEL_RW_POINTER ((void *)0xffffffffc0010000)
21
char test_name[] = TEST_NAME;
34
printf("test %s completed %s.\n", test_name,
35
res ? "FAILED" : "PASSED"