tree 99ded4ee2e8740b415c0b7b5ad7b808fbcbe405e
parent 94561dd5268d139b721561166cbce94170701c2c
author Andreas Sandberg <Andreas.Sandberg@ARM.com> 1357581941 -0500
committer Andreas Sandberg <Andreas.Sandberg@ARM.com> 1357581941 -0500

cpu: Check that the memory system is in the correct mode

This patch adds checks to all CPU models to make sure that the memory
system is in the correct mode at startup and when resuming after a
drain.  Previously, we only checked that the memory system was in the
right mode when resuming. This is inadequate since this is a
configuration error that should be detected at startup as well as when
resuming. Additionally, since the check was done using an assert, it
wasn't performed when NDEBUG was set (e.g., the fast target).