DEFAULT_MAP_BASE
#define DEFAULT_MAP_BASE (0x200000000UL)
#define DEFAULT_MAP_BASE DEFAULT_MAP_BASE32