get_extended_index 2099 drivers/infiniband/hw/mlx5/main.c idx = get_extended_index(vma->vm_pgoff) + bfregi->num_static_sys_pages; get_extended_index 2196 drivers/infiniband/hw/mlx5/main.c u16 page_idx = get_extended_index(vma->vm_pgoff);