[PATCH hmm 0/5] Adjust hmm_range_fault() API