518 	    sizeof(*queue) + sizeof(*(queue->kernel_if)) + dmas_size;  in vmci_alloc_queue()
532 	queue->kernel_if = (struct vmci_queue_kernel_if *)(queue + 1);  in vmci_alloc_queue()
533 	queue->kernel_if->num_pages = num_pages;  in vmci_alloc_queue()
534 	queue->kernel_if->dmas = (struct vmci_dma_alloc *)(queue->kernel_if +  in vmci_alloc_queue()
537 		vmci_dma_malloc(PAGE_SIZE, 1, &queue->kernel_if->dmas[i]);  in vmci_alloc_queue()
538 		if (!queue->kernel_if->dmas[i].dma_vaddr) {  in vmci_alloc_queue()
546 	queue->q_header = (void *)queue->kernel_if->dmas[0].dma_vaddr;  in vmci_alloc_queue()
579 			vmci_dma_free(&queue->kernel_if->dmas[i]);  in vmci_free_queue()
639 		    pfn = produce_q->kernel_if->dmas[i].dma_paddr >> PAGE_SHIFT;  in vmci_alloc_ppn_set()
653 		    pfn = consume_q->kernel_if->dmas[i].dma_paddr >> PAGE_SHIFT;  in vmci_alloc_ppn_set()
820 	struct vmci_queue_kernel_if *kernel_if = queue->kernel_if;  in __vmci_memcpy_to_queue()  local
832 		va = (void *)kernel_if->dmas[page_index + 1].dma_vaddr;  in __vmci_memcpy_to_queue()
877 	struct vmci_queue_kernel_if *kernel_if = queue->kernel_if;  in __vmci_memcpy_from_queue()  local
889 		va = (void *)kernel_if->dmas[page_index + 1].dma_vaddr;  in __vmci_memcpy_from_queue()