Symbol: gicd_write_4