TLBINFO_ASID_MARK_USED
TLBINFO_ASID_MARK_USED(ti, asid); \
TLBINFO_ASID_MARK_USED(ti, pai->pai_asid);