Yep.
The only direct use of pte_young() is in zap_pte_range, within a
mmu_lazy region. So syncing the A bit state on entering lazy mmu mode
would work fine there.
The call via page_referenced_one() doesn't seem to have a very
convenient hook though. Perhaps putting something in
page_check_address() would do the job.
J
--