Lines Matching defs:ret
30 deriveCap_ret_t ret;
36 ret.cap = cap;
37 ret.status = EXCEPTION_NONE;
41 ret.cap = cap_null_cap_new();
42 ret.status = EXCEPTION_SYSCALL_ERROR;
44 return ret;
48 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid);
49 ret.status = EXCEPTION_NONE;
50 return ret;
54 ret.cap = cap;
55 ret.status = EXCEPTION_NONE;
56 return ret;