GCSSTR Guarded Control Stack store This instruction stores a doubleword from a register to memory. The address that is used for the store is calculated from a base register. 1 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 GCSSTR <Xt>, [<Xn|SP>] if !IsFeatureImplemented(FEAT_GCS) then UNDEFINED; constant integer t = UInt(Rt); constant integer n = UInt(Rn); <Xt> Is the 64-bit name of the general-purpose register to be transferred, encoded in the "Rt" field. <Xn|SP> Is the 64-bit name of the general-purpose base register or stack pointer, encoded in the "Rn" field. bits(64) address; constant bits(2) effective_el = PSTATE.EL; if effective_el == PSTATE.EL then CheckGCSSTREnabled(); constant boolean privileged = effective_el != EL0; constant AccessDescriptor accdesc = CreateAccDescGCS(MemOp_STORE, privileged); if n == 31 then CheckSPAlignment(); address = SP[]; else address = X[n, 64]; Mem[address, 8, accdesc] = X[t, 64];