u32 actlr; __asm__ volatile( "mrc p15, 0, %0, c1, c0, 1;" "orr %0, %0, #(1 << 6);" "mcr p15, 0, %0, c1, c0, 1;" "mrc p15, 0, %0, c1, c0, 1;" :"=r"(actlr) : ); printf("ACTLR 0x%08X\n",actlr);