Searched refs:produce_page_file (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/drivers/misc/vmw_vmci/ | ||
| D | vmci_queue_pair.h | 88 u64 produce_page_file; /* User VA. */ member |
| D | vmci_host.c | 75 u64 produce_page_file; /* User VA. */ member |
Searched refs:produce_page_file (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/drivers/misc/vmw_vmci/ | ||
| D | vmci_queue_pair.h | 88 u64 produce_page_file; /* User VA. */ member |
| D | vmci_host.c | 75 u64 produce_page_file; /* User VA. */ member |