Lines Matching refs:error
26 int error = vka_cspace_alloc(vka, &cap);
27 if (error != 0) {
29 return error;
35 error = simple_get_IRQ_handler(simple, irq->irq.number, *dest);
37 error = sel4platsupport_arch_copy_irq_cap(&simple->arch_simple, irq, dest);
40 if (error != seL4_NoError) {
44 return error;
50 int error = vka_alloc_frame_at(vka, size_bits, paddr, frame);
51 if (error) {
55 return error;
60 int error;
61 error = sel4platsupport_alloc_frame_at(vka, paddr, size_bits, frame);
62 if (error) {