idx_to_kaddr
idx_to_kaddr(queue, pending_idx),
idx_to_kaddr(queue, pending_idx),
gnttab_set_map_op(mop, idx_to_kaddr(queue, pending_idx),
page = virt_to_page((void *)idx_to_kaddr(queue, pending_idx));