.. | .. |
---|
| 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 | #ifndef VMCI_DOORBELL_H |
---|
.. | .. |
---|
45 | 37 | int vmci_dbell_host_context_notify(u32 src_cid, struct vmci_handle handle); |
---|
46 | 38 | int vmci_dbell_get_priv_flags(struct vmci_handle handle, u32 *priv_flags); |
---|
47 | 39 | |
---|
48 | | -bool vmci_dbell_register_notification_bitmap(u32 bitmap_ppn); |
---|
| 40 | +bool vmci_dbell_register_notification_bitmap(u64 bitmap_ppn); |
---|
49 | 41 | void vmci_dbell_scan_notification_entries(u8 *bitmap); |
---|
50 | 42 | |
---|
51 | 43 | #endif /* VMCI_DOORBELL_H */ |
---|