~hc/RK356X_SDK_RELEASE.git

..	..	@@ -1,16 +1,8 @@
	1	+// SPDX-License-Identifier: GPL-2.0-only
1	2	/*
2	3	* VMware VMCI Driver
3	4	*
4	5	* Copyright (C) 2012 VMware, Inc. All rights reserved.
5		- *
6		- * This program is free software; you can redistribute it and/or modify it
7		- * under the terms of the GNU General Public License as published by the
8		- * Free Software Foundation version 2 and no later version.
9		- *
10		- * This program is distributed in the hope that it will be useful, but
11		- * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
12		- * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
13		- * for more details.
14	6	*/
15	7
16	8	#include <linux/vmw_vmci_defs.h>
..	..	@@ -331,7 +323,7 @@
331	323	/*
332	324	* Register the notification bitmap with the host.
333	325	*/
334		-bool vmci_dbell_register_notification_bitmap(u32 bitmap_ppn)
	326	+bool vmci_dbell_register_notification_bitmap(u64 bitmap_ppn)
335	327	{
336	328	int result;
337	329	struct vmci_notify_bm_set_msg bitmap_set_msg = { };
..	..	@@ -341,11 +333,14 @@
341	333	bitmap_set_msg.hdr.src = VMCI_ANON_SRC_HANDLE;
342	334	bitmap_set_msg.hdr.payload_size = sizeof(bitmap_set_msg) -
343	335	VMCI_DG_HEADERSIZE;
344		- bitmap_set_msg.bitmap_ppn = bitmap_ppn;
	336	+ if (vmci_use_ppn64())
	337	+ bitmap_set_msg.bitmap_ppn64 = bitmap_ppn;
	338	+ else
	339	+ bitmap_set_msg.bitmap_ppn32 = (u32) bitmap_ppn;
345	340
346	341	result = vmci_send_datagram(&bitmap_set_msg.hdr);
347	342	if (result != VMCI_SUCCESS) {
348		- pr_devel("Failed to register (PPN=%u) as notification bitmap (error=%d)\n",
	343	+ pr_devel("Failed to register (PPN=%llu) as notification bitmap (error=%d)\n",
349	344	bitmap_ppn, result);
350	345	return false;
351	346	}