Write to Memory Using GBP

set ({uint32_t}0x50000014) = 0x00001000