SYS_TRBIDR_EL1
mrs_s x0, SYS_TRBIDR_EL1
(read_sysreg_s(SYS_TRBIDR_EL1) & TRBIDR_EL1_MPAM));
!(read_sysreg_s(SYS_TRBIDR_EL1) & TRBIDR_EL1_P))
trbidr = read_sysreg_s(SYS_TRBIDR_EL1);