Lines Matching refs:error
52 int error = 0;
63 error = vka_cspace_alloc_path(vka, &iospace);
64 if (error) {
65 return error;
70 error = simple_get_iospace(camkes_simple, iospace_id, pci_bdf_int, &iospace);
71 if (error) {
73 return error;
88 error = sel4utils_make_iommu_dma_alloc(vka, vspace, &iospace_dma, 1, &iospace.capPtr);
89 if (error) {
90 return error;
95 int error = sel4utils_iommu_dma_alloc_iospace(iospace_dma.cookie, (void *)(*frame)->vaddr, (*frame)->size);
96 if (error) {
98 return error;