Macros are used extensively within the code, especially in the emulator interface (memory access). The way they're used rarely follows best practice, looks messy, and confuses the way the code works. Furthermore, they're large and hard to follow.

At the very least the access-check functions should be reimplemented as static inline functions -- other macros should be reviewed.