Symbol: gicd_write_8