15 #define KERNEL_RW_POINTER ((void *)0xc0010000)
17 //#warning Not really sure where kernel memory is. Guessing.
18 #define KERNEL_RW_POINTER ((void *)0xffffffff81000000)
22 char test_name[] = TEST_NAME;
29 const char *test_result;
38 test_result = "PASSED";
41 test_result = "SKIPPED";
44 test_result = "FAILED";
49 printf("test %s completed %s.\n", test_name, test_result);