How would one calculate the bit-band alias fort bit 17 of address 0x4000 0100 in Cortex-M3? Is this correct?
0x4200 0000 + 0X100*32 + 17*4 = 0x4200 2044
Yes. This is correct. See the comments above.