SYS_SMIDR_EL1
mrs_s x1, SYS_SMIDR_EL1 // Priority mapping supported?
(read_sysreg_s(SYS_SMIDR_EL1) & SMIDR_EL1_SMPS));
{ SYS_DESC(SYS_SMIDR_EL1), .access = pvm_idst_access },