Lines Matching defs:err
48 errval_t err;
52 err = slot_alloc(&vnode_cap);
53 if (err_is_fail(err)) {
54 DEBUG_ERR(err, "xcorecapserv: Vnode slot alloc failed\n");
56 err = cap_retype(vnode_cap, sent_cap, 0, ObjType_VNode_x86_64_ptable,
58 if (err_is_fail(err)) {
59 DEBUG_ERR(err, "xcorecapserv: Retype to vnode failed\n");
70 errval_t err;
71 err = cap_delete(sent_cap);
72 if (err_is_fail(err)) {
73 DEBUG_ERR(err, "xcorecapserv: delete failed\n");
85 errval_t err;
87 err = cap_revoke(sent_cap);
88 if (err_is_fail(err)) {
89 DEBUG_ERR(err, "xcorecapserv: revoke failed\n");
98 static void export_cb(void *st, errval_t err, iref_t iref)
100 if (err_is_fail(err)) {
101 DEBUG_ERR(err, "export failed");
108 err = nameservice_register(my_service_name, iref);
109 if (err_is_fail(err)) {
110 DEBUG_ERR(err, "nameservice_register failed");
131 errval_t err;
133 err = xcorecap_export(NULL, export_cb, connect_cb, get_default_waitset(),
136 if (err_is_fail(err)) {
137 DEBUG_ERR(err, "xcorecapserv: Error exporting\n");
145 errval_t err;
151 err = event_dispatch(ws);
152 if (err_is_fail(err)) {
153 DEBUG_ERR(err, "in event_dispatch");