Lines Matching defs:value
40 unsigned long value;
42 value = __read_32bit_c0_register($16, 3);
43 value |= 0x00000080;
44 __write_32bit_c0_register($16, 3, value);
45 value = __read_32bit_c0_register($16, 3);
46 pr_info("CP0_Config3: CP0 16.3 (0x%lx)\n", value);
48 value = __read_32bit_c0_register($5, 1);
49 value |= 0x20000000;
50 __write_32bit_c0_register($5, 1, value);
51 value = __read_32bit_c0_register($5, 1);
52 pr_info("CP0_PageGrain: CP0 5.1 (0x%lx)\n", value);