get_gcspr_el0
gcsss1(get_gcspr_el0() - 8);
gcspr = get_gcspr_el0();
u64_val = (uint64_t *)get_gcspr_el0() + 1;