| Arjan van de Ven | edeed30 | 2008-01-30 13:34:08 +0100 | [diff] [blame] | 1 | /* | 
|  | 2 | * test_rodata.c: functional test for mark_rodata_ro function | 
|  | 3 | * | 
|  | 4 | * (C) Copyright 2008 Intel Corporation | 
|  | 5 | * Author: Arjan van de Ven <arjan@linux.intel.com> | 
|  | 6 | * | 
|  | 7 | * This program is free software; you can redistribute it and/or | 
|  | 8 | * modify it under the terms of the GNU General Public License | 
|  | 9 | * as published by the Free Software Foundation; version 2 | 
|  | 10 | * of the License. | 
|  | 11 | */ | 
|  | 12 | #include <linux/module.h> | 
| Harvey Harrison | 7bfeab9 | 2008-02-12 12:12:01 -0800 | [diff] [blame] | 13 | #include <asm/cacheflush.h> | 
| Arjan van de Ven | edeed30 | 2008-01-30 13:34:08 +0100 | [diff] [blame] | 14 | #include <asm/sections.h> | 
| Arjan van de Ven | edeed30 | 2008-01-30 13:34:08 +0100 | [diff] [blame] | 15 |  | 
|  | 16 | int rodata_test(void) | 
|  | 17 | { | 
|  | 18 | unsigned long result; | 
|  | 19 | unsigned long start, end; | 
|  | 20 |  | 
|  | 21 | /* test 1: read the value */ | 
|  | 22 | /* If this test fails, some previous testrun has clobbered the state */ | 
|  | 23 | if (!rodata_test_data) { | 
|  | 24 | printk(KERN_ERR "rodata_test: test 1 fails (start data)\n"); | 
|  | 25 | return -ENODEV; | 
|  | 26 | } | 
|  | 27 |  | 
|  | 28 | /* test 2: write to the variable; this should fault */ | 
|  | 29 | /* | 
|  | 30 | * If this test fails, we managed to overwrite the data | 
|  | 31 | * | 
|  | 32 | * This is written in assembly to be able to catch the | 
|  | 33 | * exception that is supposed to happen in the correct | 
|  | 34 | * case | 
|  | 35 | */ | 
|  | 36 |  | 
|  | 37 | result = 1; | 
|  | 38 | asm volatile( | 
|  | 39 | "0:	mov %[zero],(%[rodata_test])\n" | 
|  | 40 | "	mov %[zero], %[rslt]\n" | 
|  | 41 | "1:\n" | 
|  | 42 | ".section .fixup,\"ax\"\n" | 
|  | 43 | "2:	jmp 1b\n" | 
|  | 44 | ".previous\n" | 
|  | 45 | ".section __ex_table,\"a\"\n" | 
|  | 46 | "       .align 16\n" | 
|  | 47 | #ifdef CONFIG_X86_32 | 
|  | 48 | "	.long 0b,2b\n" | 
|  | 49 | #else | 
|  | 50 | "	.quad 0b,2b\n" | 
|  | 51 | #endif | 
|  | 52 | ".previous" | 
|  | 53 | : [rslt] "=r" (result) | 
|  | 54 | : [rodata_test] "r" (&rodata_test_data), [zero] "r" (0UL) | 
|  | 55 | ); | 
|  | 56 |  | 
|  | 57 |  | 
|  | 58 | if (!result) { | 
|  | 59 | printk(KERN_ERR "rodata_test: test data was not read only\n"); | 
|  | 60 | return -ENODEV; | 
|  | 61 | } | 
|  | 62 |  | 
|  | 63 | /* test 3: check the value hasn't changed */ | 
|  | 64 | /* If this test fails, we managed to overwrite the data */ | 
|  | 65 | if (!rodata_test_data) { | 
|  | 66 | printk(KERN_ERR "rodata_test: Test 3 failes (end data)\n"); | 
|  | 67 | return -ENODEV; | 
|  | 68 | } | 
|  | 69 | /* test 4: check if the rodata section is 4Kb aligned */ | 
|  | 70 | start = (unsigned long)__start_rodata; | 
|  | 71 | end = (unsigned long)__end_rodata; | 
|  | 72 | if (start & (PAGE_SIZE - 1)) { | 
|  | 73 | printk(KERN_ERR "rodata_test: .rodata is not 4k aligned\n"); | 
|  | 74 | return -ENODEV; | 
|  | 75 | } | 
|  | 76 | if (end & (PAGE_SIZE - 1)) { | 
|  | 77 | printk(KERN_ERR "rodata_test: .rodata end is not 4k aligned\n"); | 
|  | 78 | return -ENODEV; | 
|  | 79 | } | 
|  | 80 |  | 
|  | 81 | return 0; | 
|  | 82 | } | 
|  | 83 |  | 
|  | 84 | MODULE_LICENSE("GPL"); | 
|  | 85 | MODULE_DESCRIPTION("Testcase for the DEBUG_RODATA infrastructure"); | 
|  | 86 | MODULE_AUTHOR("Arjan van de Ven <arjan@linux.intel.com>"); |