ive used pub export fn __aeabi_read_tp() usize { return asm volatile("mrc p15, 0, %[result], c13, c0, 3" : [result] "=r" (-> usize) ); }