Немного подправил. По ДШ смещение задано 0x4000

#define MEMORY_MAPPED_PORT(addr) *((unsigned char *)((unsigned int)(addr+0x4000)))
C_task main( void ) {
unsigned char a;
a = MEMORY_MAPPED_PORT( 0x7000 );
MEMORY_MAPPED_PORT( 0x5000 ) = a;
}

То есть прибавляю к адресу 0x4000, чтобы получить адреса только во внешней памяти.
Или надо прибавлять 0x4001?.. Как я понял, 0x4000, это ещё внутреннее ОЗУ...