SYS_PMBPTR_EL1
{ SYS_DESC(SYS_PMBPTR_EL1), undef_access },
write_sysreg_s(0, SYS_PMBPTR_EL1);
write_sysreg_s(base, SYS_PMBPTR_EL1);
offset = read_sysreg_s(SYS_PMBPTR_EL1) - (u64)buf->base;
read_sysreg_s(SYS_PMBPTR_EL1),