Symbol: do_el1_gcs