61c61,62
< Dest2 = cSwap((uint32_t) (data >> 32), ((CPSR)Cpsr).e);
---
> IWDest2 = cSwap((uint32_t) (data >> 32),
> ((CPSR)Cpsr).e);