Symbol: kvm_age_hva_range