HV_TLB_FLUSH_UNIT
} else if ((addr2 && (addr2 -addr1)/HV_TLB_FLUSH_UNIT) > max_gvas) {
((addr2 - addr1)/HV_TLB_FLUSH_UNIT) > max_gvas) {
if (diff >= HV_TLB_FLUSH_UNIT) {
cur += HV_TLB_FLUSH_UNIT;