Symbol: gic_d_write_4