unsigned __ldrex(unsigned *ptr);
__ldrex inserts a LDREX instruction. Returns the word of data at memory address ptr.