SYS_PMBLIMITR_EL1
reg = read_sysreg_s(SYS_PMBLIMITR_EL1);
{ SYS_DESC(SYS_PMBLIMITR_EL1), undef_access },
write_sysreg_s(limit, SYS_PMBLIMITR_EL1);
write_sysreg_s(0, SYS_PMBLIMITR_EL1);
read_sysreg_s(SYS_PMBLIMITR_EL1));