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