#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;
}