#include "kivonbien.h" unsigned int getcp15_0() { unsigned int val; asm volatile("mcr p15, 0, ........"); return val; } int main(void) { char buffer[100]; unsigned int value; value = get_cp15_0(); sprintf(buffer, "CP15=0x%08X",value); nspire_messagebox(buffer); return 0; }