SYS_GCSPR_EL0
u64 gcspr = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(gcspr, SYS_GCSPR_EL0);
u64 gcspr = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(gcspr + sizeof(u64), SYS_GCSPR_EL0);
gcspr = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(0, SYS_GCSPR_EL0);
current->thread.gcspr_el0 = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(next->thread.gcspr_el0, SYS_GCSPR_EL0);
gcspr_el0 = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(gcspr_el0 + 8, SYS_GCSPR_EL0);
gcspr_el0 = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(gcspr_el0, SYS_GCSPR_EL0);
u64 gcspr = read_sysreg_s(SYS_GCSPR_EL0);
write_sysreg_s(gcspr, SYS_GCSPR_EL0);
SYS_GCSPR_EL0);
tsk->thread.gcspr_el0 = read_sysreg_s(SYS_GCSPR_EL0);