Lines Matching defs:ret
40 deriveCap_ret_t ret;
45 ret.cap = cap;
46 ret.status = EXCEPTION_NONE;
50 ret.cap = cap_null_cap_new();
51 ret.status = EXCEPTION_SYSCALL_ERROR;
53 return ret;
57 ret.cap = cap;
58 ret.status = EXCEPTION_NONE;
62 ret.cap = cap_null_cap_new();
63 ret.status = EXCEPTION_SYSCALL_ERROR;
65 return ret;
69 ret.cap = cap;
70 ret.status = EXCEPTION_NONE;
74 ret.cap = cap_null_cap_new();
75 ret.status = EXCEPTION_SYSCALL_ERROR;
77 return ret;
81 ret.cap = cap;
82 ret.status = EXCEPTION_NONE;
86 ret.cap = cap_null_cap_new();
87 ret.status = EXCEPTION_SYSCALL_ERROR;
89 return ret;
92 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid);
93 ret.status = EXCEPTION_NONE;
94 return ret;
98 ret.cap = cap;
99 ret.status = EXCEPTION_NONE;
100 return ret;
104 ret.cap = cap;
105 ret.status = EXCEPTION_NONE;
106 return ret;