MMUCR_RESET
#define MMUCR_RESET 0x4000 /* Reset to initial state */
#define MMUCR_RESET 0x0040 /* Reset MMU State */