Lines Matching defs:err

29     errval_t err;
32 err = ram_alloc(ram_cap, ALLOC_BITS);
33 if (err_is_fail(err)) {
34 DEBUG_ERR(err, "xcorecap: RAM alloc failed\n");
40 errval_t err;
43 err = slot_alloc(frame_cap);
44 if (err_is_fail(err)) {
45 DEBUG_ERR(err, "xcorecap: Frame slot alloc failed\n");
48 err = cap_retype(*frame_cap, *ram_cap, 0, ObjType_Frame, 1UL << ALLOC_BITS, 1);
49 if (err_is_fail(err)) {
50 DEBUG_ERR(err, "xcorecap: Retype to frame failed\n");
53 return err;
67 errval_t err = b->tx_vtbl.send_cap(b, NOP_CONT, ram_cap);
69 if (err_is_fail(err)) {
70 DEBUG_ERR(err, "sendcap failed");
79 errval_t err = b->tx_vtbl.retype_cap(b, NOP_CONT);
81 if (err_is_fail(err)) {
82 if (err_no(err) == FLOUNDER_ERR_TX_BUSY) {
84 err = b->register_send(b, ws, MKCONT(trigger_remote_retype, b));
85 if (err_is_fail(err)) {
87 DEBUG_ERR(err, "register_send on binding failed!");
91 DEBUG_ERR(err, "trigger retype failed");
102 errval_t err = b->tx_vtbl.delete_cap(b, NOP_CONT);
104 if (err_is_fail(err)) {
105 if (err_no(err) == FLOUNDER_ERR_TX_BUSY) {
107 err = b->register_send(b, ws, MKCONT(trigger_remote_delete,b));
108 if (err_is_fail(err)) {
110 DEBUG_ERR(err, "register_send on binding failed!");
114 DEBUG_ERR(err, "trigger retype failed");
125 errval_t err = b->tx_vtbl.revoke_cap(b, NOP_CONT);
127 if (err_is_fail(err)) {
128 if (err_no(err) == FLOUNDER_ERR_TX_BUSY) {
130 err = b->register_send(b, ws, MKCONT(trigger_remote_revoke, b));
131 if (err_is_fail(err)) {
133 DEBUG_ERR(err, "register_send on binding failed!");
137 DEBUG_ERR(err, "trigger retype failed");
157 errval_t err = retype_cap(&ram_cap, &frame_cap);
158 if (err_is_fail(err)) {
159 DEBUG_ERR(err, "retype failed");
196 static void bind_cb(void *st, errval_t err, struct xcorecap_binding *b)
207 errval_t err;
210 err = nameservice_blocking_lookup(my_service_name, &iref);
211 if (err_is_fail(err)) {
217 err = xcorecap_bind(iref, bind_cb, NULL, get_default_waitset(),
219 if (err_is_fail(err)) {
220 DEBUG_ERR(err, "bind failed");
228 errval_t err;
236 err = event_dispatch(ws);
237 if (err_is_fail(err)) {
238 DEBUG_ERR(err, "in event_dispatch");