520 	    sizeof(*queue) + sizeof(*(queue->kernel_if)) + dmas_size;  in vmci_alloc_queue()
534 	queue->kernel_if = (struct vmci_queue_kernel_if *)(queue + 1);  in vmci_alloc_queue()
535 	queue->kernel_if->num_pages = num_pages;  in vmci_alloc_queue()
536 	queue->kernel_if->dmas = (struct vmci_dma_alloc *)(queue->kernel_if +  in vmci_alloc_queue()
539 		vmci_dma_malloc(PAGE_SIZE, 1, &queue->kernel_if->dmas[i]);  in vmci_alloc_queue()
540 		if (!queue->kernel_if->dmas[i].dma_vaddr) {  in vmci_alloc_queue()
548 	queue->q_header = (void *)queue->kernel_if->dmas[0].dma_vaddr;  in vmci_alloc_queue()
581 			vmci_dma_free(&queue->kernel_if->dmas[i]);  in vmci_free_queue()
641 		    pfn = produce_q->kernel_if->dmas[i].dma_paddr >> PAGE_SHIFT;  in vmci_alloc_ppn_set()
655 		    pfn = consume_q->kernel_if->dmas[i].dma_paddr >> PAGE_SHIFT;  in vmci_alloc_ppn_set()
822 	struct vmci_queue_kernel_if *kernel_if = queue->kernel_if;  in __vmci_memcpy_to_queue()  local
834 		va = (void *)kernel_if->dmas[page_index + 1].dma_vaddr;  in __vmci_memcpy_to_queue()
879 	struct vmci_queue_kernel_if *kernel_if = queue->kernel_if;  in __vmci_memcpy_from_queue()  local
891 		va = (void *)kernel_if->dmas[page_index + 1].dma_vaddr;  in __vmci_memcpy_from_queue()