On 11 July 2016 at 19:47, Sergey Sorokin <afaral...@yandex.ru> wrote: [re TLBIALLNSNH and TLBIALLNSNHIS]
> Table G4-25 Effect of the TLB maintenance instructions says: > b. Available only in an implementation that includes EL2. > > So seems they should be in el2_cp_reginfo which is exist regardless EL3 > enabled. > And also I need to fix tlbiall_nsnh_[is_]write functions accordingly. Ah, yes. I was looking at the register description, which doesn't mention that it's an EL2-only operation. el2_cp_reginfo is the right place, then. thanks -- PMM