← Home

SP_EL0: Stack Pointer (EL0)

Purpose

Holds the stack pointer associated with EL0. At higher Exception levels, this is used as the current stack pointer when the value of SPSel.SP is 0.

Configuration

This register is present only when FEAT_AA64 is implemented. Otherwise, direct accesses to SP_EL0 are UNDEFINED.

Attributes

SP_EL0 is a 64-bit register.

Field descriptions

6362616059585756555453525150494847464544434241403938373635343332
313029282726252423222120191817161514131211109876543210
StackPointer
StackPointer

StackPointer, bits [63:0]

Stack pointer.

The reset behavior of this field is:

Accessing SP_EL0

When the value of PSTATE.SP is 0, this register is accessible at all Exception levels as the current stack pointer.

Accesses to this register use the following encodings in the System register encoding space:

MRS <Xt>, SP_EL0

op0op1CRnCRmop2
0b110b0000b01000b00010b000

if !IsFeatureImplemented(FEAT_AA64) then UNDEFINED; elsif PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if PSTATE.SP == '0' then UNDEFINED; else X[t, 64] = SP_EL0; elsif PSTATE.EL == EL2 then if PSTATE.SP == '0' then UNDEFINED; else X[t, 64] = SP_EL0; elsif PSTATE.EL == EL3 then if PSTATE.SP == '0' then UNDEFINED; else X[t, 64] = SP_EL0;

MSR SP_EL0, <Xt>

op0op1CRnCRmop2
0b110b0000b01000b00010b000

if !IsFeatureImplemented(FEAT_AA64) then UNDEFINED; elsif PSTATE.EL == EL0 then UNDEFINED; elsif PSTATE.EL == EL1 then if PSTATE.SP == '0' then UNDEFINED; else SP_EL0 = X[t, 64]; elsif PSTATE.EL == EL2 then if PSTATE.SP == '0' then UNDEFINED; else SP_EL0 = X[t, 64]; elsif PSTATE.EL == EL3 then if PSTATE.SP == '0' then UNDEFINED; else SP_EL0 = X[t, 64];