Searched refs:ret (Results 1 - 25 of 45) sorted by relevance

12

/seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h39 word_t ret; local
40 asm ("mrs %[ret], lr_svc" : [ret]"=r"(ret));
41 return ret;
53 word_t ret; local
54 asm ("mrs %[ret], sp_svc" : [ret]"=r"(ret));
55 return ret;
67 word_t ret; local
81 word_t ret; local
95 word_t ret; local
109 word_t ret; local
123 word_t ret; local
137 word_t ret; local
151 word_t ret; local
165 word_t ret; local
179 word_t ret; local
193 word_t ret; local
207 word_t ret; local
221 word_t ret; local
235 word_t ret; local
249 word_t ret; local
263 word_t ret; local
277 word_t ret; local
291 word_t ret; local
305 word_t ret; local
318 word_t ret = 0; local
332 word_t ret = 0; local
[all...]
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h39 word_t ret; local
40 asm ("mrs %[ret], lr_svc" : [ret]"=r"(ret));
41 return ret;
53 word_t ret; local
54 asm ("mrs %[ret], sp_svc" : [ret]"=r"(ret));
55 return ret;
67 word_t ret; local
81 word_t ret; local
95 word_t ret; local
109 word_t ret; local
123 word_t ret; local
137 word_t ret; local
151 word_t ret; local
165 word_t ret; local
179 word_t ret; local
193 word_t ret; local
207 word_t ret; local
221 word_t ret; local
235 word_t ret; local
249 word_t ret; local
263 word_t ret; local
277 word_t ret; local
291 word_t ret; local
305 word_t ret; local
318 word_t ret = 0; local
332 word_t ret = 0; local
[all...]
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/machine/
H A Ddebug.h25 word_t ret; local
29 : "=r" (ret));
30 return ret;
45 word_t ret; local
49 : "=r" (ret));
50 return ret;
65 word_t ret; local
70 asm volatile("movl %%dr0, %0 \n\t" : "=r" (ret));
73 asm volatile("movl %%dr1, %0 \n\t" : "=r" (ret));
76 asm volatile("movl %%dr2, %0 \n\t" : "=r" (ret));
[all...]
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/machine/
H A Ddebug.h25 word_t ret; local
29 : "=r" (ret));
30 return ret;
45 word_t ret; local
49 : "=r" (ret));
50 return ret;
65 word_t ret; local
70 asm volatile("movq %%dr0, %0 \n\t" : "=r" (ret));
73 asm volatile("movq %%dr1, %0 \n\t" : "=r" (ret));
76 asm volatile("movq %%dr2, %0 \n\t" : "=r" (ret));
[all...]
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Ddebug.h145 syscall_error_t ret = { local
157 ret.type = seL4_IllegalOperation;
158 return ret;
172 ret.type = seL4_InvalidArgument;
173 ret.invalidArgumentNumber = 0;
174 return ret;
181 ret.type = seL4_InvalidArgument;
182 ret.invalidArgumentNumber = 0;
183 return ret;
187 return ret;
197 syscall_error_t ret = { local
240 syscall_error_t ret = { local
255 syscall_error_t ret = { local
[all...]
/seL4-mcs-10.1.1/src/kernel/
H A Dcspace.c23 lookupCap_ret_t ret; local
27 ret.status = lu_ret.status;
28 ret.cap = cap_null_cap_new();
29 return ret;
32 ret.status = EXCEPTION_NONE;
33 ret.cap = lu_ret.slot->cap;
34 return ret;
41 lookupCapAndSlot_ret_t ret; local
45 ret.status = lu_ret.status;
46 ret
62 lookupSlot_raw_ret_t ret; local
77 lookupSlot_ret_t ret; local
140 resolveAddressBits_ret_t ret; local
[all...]
/seL4-mcs-10.1.1/src/arch/arm/armv/armv8-a/64/
H A Dmachine_asm.S16 ret
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A Ddebug.h134 syscall_error_t ret; local
136 ret.type = seL4_NoError;
137 return ret;
147 syscall_error_t ret = { local
153 ret.rangeErrorMin = 0;
154 ret.rangeErrorMax = 3;
155 ret.type = seL4_RangeError;
156 return ret;
160 ret.invalidArgumentNumber = 3;
161 ret
170 syscall_error_t ret = { local
186 syscall_error_t ret = { local
[all...]
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dobjecttype.c29 deriveCap_ret_t ret; local
34 ret.cap = cap;
35 ret.status = EXCEPTION_NONE;
39 ret.cap = cap_null_cap_new();
40 ret.status = EXCEPTION_SYSCALL_ERROR;
42 return ret;
46 ret.cap = cap;
47 ret.status = EXCEPTION_NONE;
51 ret.cap = cap_null_cap_new();
52 ret
[all...]
H A Dioport.c258 exception_t ret; local
270 ret = ensurePortOperationAllowed(cap, port, 1);
273 ret = ensurePortOperationAllowed(cap, port, 2);
276 ret = ensurePortOperationAllowed(cap, port, 4);
279 if (ret != EXCEPTION_NONE) {
280 return ret;
303 ret = ensurePortOperationAllowed(cap, port, 1);
307 ret = ensurePortOperationAllowed(cap, port, 2);
311 ret = ensurePortOperationAllowed(cap, port, 4);
315 if (ret !
[all...]
H A Diospace.c86 lookupIOPTSlot_ret_t ret; local
93 ret.ioptSlot = 0;
94 ret.level = levels_remaining;
95 ret.status = EXCEPTION_LOOKUP_FAULT;
96 return ret;
103 ret.ioptSlot = iopt_slot;
104 ret.level = levels_remaining;
105 ret.status = EXCEPTION_NONE;
106 return ret;
116 lookupIOPTSlot_ret_t ret; local
[all...]
/seL4-mcs-10.1.1/src/arch/x86/32/
H A Dmachine_asm.S26 1: ret
32 ret
37 ret
42 ret
49 ret
55 ret
67 ret
76 ret
83 ret
90 ret
[all...]
/seL4-mcs-10.1.1/src/arch/arm/64/object/
H A Dobjecttype.c40 deriveCap_ret_t ret; local
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
[all...]
/seL4-mcs-10.1.1/src/arch/x86/64/
H A Dmachine_asm.S31 ret
38 ret
45 ret
52 ret
59 ret
66 ret
78 ret
90 ret
95 ret
100 ret
[all...]
H A Dhead.S44 ret
60 ret
118 ret
171 ret
189 ret
209 ret
229 ret
255 ret
261 ret
272 ret
[all...]
/seL4-mcs-10.1.1/src/arch/x86/machine/
H A Dbreakpoint.c165 convertedTypeAndAccess_t ret; local
188 ret.type = seL4_InstructionBreakpoint;
189 ret.rw = seL4_BreakOnRead;
192 ret.type = seL4_DataBreakpoint;
193 ret.rw = seL4_BreakOnWrite;
197 ret.type = seL4_DataBreakpoint;
198 ret.rw = seL4_BreakOnReadWrite;
201 return ret;
471 getBreakpoint_t ret; local
475 ret
506 bool_t ret; member in struct:__anon151
513 testAndResetSingleStepException_t ret; local
586 getAndResetActiveBreakpoint_t ret; local
[all...]
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dept.c83 findEPTForASID_ret_t ret; local
90 ret.ept = NULL;
91 ret.status = EXCEPTION_LOOKUP_FAULT;
92 return ret;
95 ret.ept = (ept_pml4e_t*)asid_map_asid_map_ept_get_ept_root(asid_map);
96 ret.status = EXCEPTION_NONE;
97 return ret;
109 lookupEPTPDPTSlot_ret_t ret; local
117 ret.pdptSlot = NULL;
118 ret
132 lookupEPTPDSlot_ret_t ret; local
163 lookupEPTPTSlot_ret_t ret; local
212 EPTPDPTMapped_ret_t ret; local
410 EPTPageDirectoryMapped_ret_t ret; local
603 EPTPageTableMapped_ret_t ret; local
[all...]
/seL4-mcs-10.1.1/src/arch/arm/32/object/
H A Dobjecttype.c44 deriveCap_ret_t ret; local
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
[all...]
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Ddebug.c185 word_t ret; \
189 MRC(MAKE_ ## _reg(1), ret); \
190 return ret; \
192 MRC(MAKE_ ## _reg(2), ret); \
193 return ret; \
195 MRC(MAKE_ ## _reg(3), ret); \
196 return ret; \
198 MRC(MAKE_ ## _reg(4), ret); \
199 return ret; \
201 MRC(MAKE_ ## _reg(5), ret); \
624 getBreakpoint_t ret; local
972 int i, ret = -1; local
1030 fault_status_t ret; local
1117 seL4_Fault_t ret; local
[all...]
/seL4-mcs-10.1.1/src/arch/x86/64/object/
H A Dobjecttype.c47 deriveCap_ret_t ret; local
52 ret.cap = cap;
53 ret.status = EXCEPTION_NONE;
57 ret.cap = cap_null_cap_new();
58 ret.status = EXCEPTION_SYSCALL_ERROR;
60 return ret;
64 ret.cap = cap;
65 ret.status = EXCEPTION_NONE;
69 ret.cap = cap_null_cap_new();
70 ret
[all...]
/seL4-mcs-10.1.1/src/arch/riscv/object/
H A Dobjecttype.c30 deriveCap_ret_t ret; local
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
[all...]
/seL4-mcs-10.1.1/include/plat/tk1/plat/machine/
H A Dsmmu.h136 uint32_t ret = (io_address & SMMU_IOPD_INDEX_MASK) >> SMMU_IOPD_INDEX_SHIFT; local
137 return ret;
143 uint32_t ret = (io_address & SMMU_IOPT_INDEX_MASK) >> SMMU_IOPT_INDEX_SHIFT; local
144 return ret;
/seL4-mcs-10.1.1/src/arch/arm/32/kernel/
H A Dvspace.c682 findPDForASID_ret_t ret; local
690 ret.pd = NULL;
691 ret.status = EXCEPTION_LOOKUP_FAULT;
692 return ret;
699 ret.pd = NULL;
700 ret.status = EXCEPTION_LOOKUP_FAULT;
701 return ret;
704 ret.pd = pd;
705 ret.status = EXCEPTION_NONE;
706 return ret;
778 lookupPTSlot_ret_t ret; local
818 resolve_ret_t ret = default_resolve_ret_t; local
1688 create_mappings_pte_return_t ret; local
1788 create_mappings_pde_return_t ret; local
3140 readWordFromVSpace_ret_t ret; local
[all...]
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/machine/
H A Ddebug.h97 word_t ret; local
99 MRC(DBGWFAR, ret);
100 return ret;
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Dvspace.c1045 lookupPDPTSlot_ret_t ret; local
1050 ret.pdptSlot = NULL;
1051 ret.status = EXCEPTION_LOOKUP_FAULT;
1052 return ret;
1060 ret.status = EXCEPTION_NONE;
1061 ret.pdptSlot = pdptSlot;
1062 return ret;
1070 lookupPDSlot_ret_t ret; local
1075 ret.pdSlot = NULL;
1076 ret
1547 create_mapping_pdpte_return_t ret; local
1614 readWordFromVSpace_ret_t ret; local
[all...]

Completed in 103 milliseconds

12