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