Lines Matching refs:error
33 int error;
34 error = vka_cspace_alloc_path(io_cookie->vka, &path);
35 if (error) {
37 return error;
39 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth);
40 if (error) {
49 error = x.error;
55 error = x.error;
61 error = x.error;
66 error = -1;
72 return error;
81 int error;
82 error = vka_cspace_alloc_path(io_cookie->vka, &path);
83 if (error) {
85 return error;
87 error = simple_get_IOPort_cap(io_cookie->simple, port, last_port, path.root, path.capPtr, path.capDepth);
88 if (error) {