1#include "linux_syscall.h" 2#include "linux_console.h" 3 4 5static void main(void) 6{ 7 static const int cpu[] = { 0, 1, 2, 3 }; 8 int i; 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, 19 }; 20 int j; 21 int max = sizeof(register_values)/sizeof(register_values[0]); 22 for(j = 0; j < max; j += 3) { 23 print_debug("val["); 24 print_debug_hex8(j); 25 print_debug("]: "); 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'); 32 } 33 } 34 _exit(0); 35} 36

