Symbol: ioctl_gntdev_get_offset_for_vaddr