Lines Matching defs:ret
32 deriveCap_ret_t ret;
37 ret.cap = cap;
38 ret.status = EXCEPTION_NONE;
42 ret.cap = cap_null_cap_new();
43 ret.status = EXCEPTION_SYSCALL_ERROR;
45 return ret;
49 ret.cap = cap;
50 ret.status = EXCEPTION_NONE;
54 ret.cap = cap_null_cap_new();
55 ret.status = EXCEPTION_SYSCALL_ERROR;
57 return ret;
61 ret.cap = cap;
62 ret.status = EXCEPTION_NONE;
66 ret.cap = cap_null_cap_new();
67 ret.status = EXCEPTION_SYSCALL_ERROR;
69 return ret;
73 ret.cap = cap;
74 ret.status = EXCEPTION_NONE;
78 ret.cap = cap_null_cap_new();
79 ret.status = EXCEPTION_SYSCALL_ERROR;
81 return ret;
84 ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid);
85 ret.status = EXCEPTION_NONE;
86 return ret;
90 ret.cap = cap;
91 ret.status = EXCEPTION_NONE;
92 return ret;
96 ret.cap = cap;
97 ret.status = EXCEPTION_NONE;
98 return ret;
103 ret.cap = cap_null_cap_new();
104 ret.status = EXCEPTION_NONE;
105 return ret;
108 ret.cap = cap;
109 ret.status = EXCEPTION_NONE;
110 return ret;