cpu_get_control
extern u_int cpu_get_control(void);
u_int cpu_get_control(void);
u_int cpu_get_control(void);
printf("CP15 Register1 = 0x%08x\n", cpu_get_control());
u_int cpu_get_control(void);
u_int cpu_get_control(void);
printf("MMU enabled. control=%08x\n", cpu_get_control());
u_int cpu_get_control(void);
printf("MMU enabled. control=%08x\n", cpu_get_control());