32/object/objecttype.c

44     deriveCap_ret_t 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;
74         ret.cap = cap_small_frame_cap_set_capFMappedASID(cap, asidInvalid);
75         ret.status = EXCEPTION_NONE;
76         return ret;
79         ret.cap = cap_frame_cap_set_capFMappedASID(cap, asidInvalid);
80         ret.status = EXCEPTION_NONE;
81         return ret;
85         ret.cap = cap;
86         ret.status = EXCEPTION_NONE;
87         return ret;
91         ret.cap = cap;
92         ret.status = EXCEPTION_NONE;
93         return ret;
98         ret.cap = cap;
99         ret.status = EXCEPTION_NONE;
100         return ret;
104             ret.cap = cap;
105             ret.status = EXCEPTION_NONE;
109             ret.cap = cap_null_cap_new();
110             ret.status = EXCEPTION_SYSCALL_ERROR;
112         return ret;