Lines Matching defs:ret
18 deriveCap_ret_t ret;
24 ret.cap = cap;
25 ret.status = EXCEPTION_NONE;
29 ret.cap = cap_null_cap_new();
30 ret.status = EXCEPTION_SYSCALL_ERROR;
32 return ret;
36 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid);
37 ret.status = EXCEPTION_NONE;
38 return ret;
42 ret.cap = cap;
43 ret.status = EXCEPTION_NONE;
44 return ret;