flush_va_if_accessed
bool flush_va_if_accessed(uint64_t pte, addr_t va, int asid);
flush_va_if_accessed(oldPte, nextVa, fASID);
return flush_va_if_accessed(pte, va, fASID);
flush_va_if_accessed(oldPte, va, asid);