1 #include "linux_syscall.h"
2 #include "linux_console.h"
7 static const int cpu[] = { 0, 1, 2, 3 };
9 for(i = 0; i < sizeof(cpu)/sizeof(cpu[0]); i++) {
10 static const unsigned int register_values[] = {
11 0x0000c144, 0x0000f8f8, 0x00000000,
12 0x0000c14C, 0x0000f8f8, 0x00000001,
13 0x0000c154, 0x0000f8f8, 0x00000002,
14 0x0000c15C, 0x0000f8f8, 0x00000003,
15 0x0000c164, 0x0000f8f8, 0x00000004,
16 0x0000c16C, 0x0000f8f8, 0x00000005,
17 0x0000c174, 0x0000f8f8, 0x00000006,
18 0x0000c17C, 0x0000f8f8, 0x00000007,
21 int max = sizeof(register_values)/sizeof(register_values[0]);
22 for(j = 0; j < max; j += 3) {
26 print_debug_hex32(register_values[j]);
27 print_debug_char(' ');
28 print_debug_hex32(register_values[j+1]);
29 print_debug_char(' ');
30 print_debug_hex32(register_values[j+2]);
31 print_debug_char('\n');