474 	    sizeof(*queue) + sizeof(*(queue->kernel_if)) + dmas_size;  in vmci_alloc_queue()
488 	queue->kernel_if = (struct vmci_queue_kernel_if *)(queue + 1);  in vmci_alloc_queue()
489 	queue->kernel_if->num_pages = num_pages;  in vmci_alloc_queue()
490 	queue->kernel_if->dmas = (struct vmci_dma_alloc *)(queue->kernel_if +  in vmci_alloc_queue()
493 		vmci_dma_malloc(PAGE_SIZE, 1, &queue->kernel_if->dmas[i]);  in vmci_alloc_queue()
494 		if (!queue->kernel_if->dmas[i].dma_vaddr) {  in vmci_alloc_queue()
502 	queue->q_header = (void *)queue->kernel_if->dmas[0].dma_vaddr;  in vmci_alloc_queue()
535 			vmci_dma_free(&queue->kernel_if->dmas[i]);  in vmci_free_queue()
595 		    pfn = produce_q->kernel_if->dmas[i].dma_paddr >> PAGE_SHIFT;  in vmci_alloc_ppn_set()
609 		    pfn = consume_q->kernel_if->dmas[i].dma_paddr >> PAGE_SHIFT;  in vmci_alloc_ppn_set()
777 	struct vmci_queue_kernel_if *kernel_if = queue->kernel_if;  in __vmci_memcpy_to_queue()  local
789 		va = (void *)kernel_if->dmas[page_index + 1].dma_vaddr;  in __vmci_memcpy_to_queue()
834 	struct vmci_queue_kernel_if *kernel_if = queue->kernel_if;  in __vmci_memcpy_from_queue()  local
846 		va = (void *)kernel_if->dmas[page_index + 1].dma_vaddr;  in __vmci_memcpy_from_queue()