register unsigned int cp0count asm ("$c0r1"); int main (int argc, char *argv[]) { unsigned int d; d = cp0count + 3; printf ("%d\n", d); }