> On Jul 18, 2023, at 8:19 PM, Shaoqin Huang <shahuang@xxxxxxxxxx> wrote: > > Currently some fields in SCTLR_EL1 don't define a name and directly used > in the SCTLR_EL1_RES1, that's not good now since these fields have been > functional and have a name. > > According to the ARM DDI 0487J.a, define the name related to these > fields. > > Suggested-by: Alexandru Elisei <alexandru.elisei@xxxxxxx> > Signed-off-by: Shaoqin Huang <shahuang@xxxxxxxxxx> Thanks for doing that! While I debugged my SCTLR issue on EFI, I did try to grep “SPAN", and this patch would’ve certainly helped.