At the moment, the mapping is a simple manual hack 🙂
Later we'll want some automation like what is done with the CSRs and the SoC builders in MiSoC (but cleaned up).
If bit 20 is set in the 32-bit (=4 bytes) Wishbone address, then it translates to (1 << 20)*4 = 0x00400000 in the CPU address space (in bytes).