[PATCH v6 3/3] ntdll: Optimize get_vprot_range_size() for big ranges.