Symbol: gic_c_write_4