Searched refs:gcs_value (Results 1 – 1 of 1) sorted by relevance
107 static void modify_el1_gcs_regs(uint64_t gcs_value) in modify_el1_gcs_regs() argument110 write_gcscr_el1(gcs_value & DUMMY_CTX_GCS_VALUE); in modify_el1_gcs_regs()111 write_gcscre0_el1(gcs_value & DUMMY_CTX_GCS_VALUE); in modify_el1_gcs_regs()112 write_gcspr_el1(gcs_value & DUMMY_CTX_GCS_VALUE); in modify_el1_gcs_regs()113 write_gcspr_el0(gcs_value & DUMMY_CTX_GCS_VALUE); in modify_el1_gcs_regs()