Does armv8 "tlbi vaae1" also invalidate global entries (without any ASID) ?
The ARMv8 reference manuals says:
TLBI VAAE1, TLB Invalidate by VA, A