blob: ccbc3cbc45377ba54a7abfecf2f48c4299c87df9 [file] [log] [blame] [edit]
#include <stdint.h>
int main(int argc, char *argv[]) {
uint32_t tpidruro = 0;
__asm__ volatile("mrc p15, 0, %0, c13, c0, 3" : "=r"(tpidruro));
return 0; // Set breakpoint here.
}