unsigned long long __ldrexd(unsigned long long *ptr);
__ldrexd inserts a LDREXD instruction. Returns the double word of data at memory address ptr.