unsigned __ldrexh(unsigned short *ptr);
__ldrexh inserts a LDREXH instruction. Returns the half word of data at memory address ptr.