u32ptr            764 drivers/misc/vmw_vmci/vmci_host.c 	u32 __user *u32ptr = uptr;
u32ptr            766 drivers/misc/vmw_vmci/vmci_host.c 	return put_user(VMCI_HOST_CONTEXT_ID, u32ptr) ? -EFAULT : 0;