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

12345

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dretprefix.c9 unsigned ret = 3; local
10 return ret;
21 int ret = 2; local
23 return x + ret;
28 int ret = 2; local
29 return ret + g();
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/machine/
H A Ddebug.h17 word_t ret; local
21 : "=r"(ret));
22 return ret;
35 word_t ret; local
39 : "=r"(ret));
40 return ret;
53 word_t ret; local
58 asm volatile("movq %%dr0, %0 \n\t" : "=r"(ret));
61 asm volatile("movq %%dr1, %0 \n\t" : "=r"(ret));
64 asm volatile("movq %%dr2, %0 \n\t" : "=r"(ret));
[all...]
/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/machine/
H A Ddebug.h16 word_t ret; local
20 : "=r"(ret));
21 return ret;
34 word_t ret; local
38 : "=r"(ret));
39 return ret;
52 word_t ret; local
57 asm volatile("movl %%dr0, %0 \n\t" : "=r"(ret));
60 asm volatile("movl %%dr1, %0 \n\t" : "=r"(ret));
63 asm volatile("movl %%dr2, %0 \n\t" : "=r"(ret));
[all...]
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h38 word_t ret; local
39 asm("mrs %[ret], lr_svc" : [ret]"=r"(ret));
40 return ret;
50 word_t ret; local
51 asm("mrs %[ret], sp_svc" : [ret]"=r"(ret));
52 return ret;
62 word_t ret; local
74 word_t ret; local
86 word_t ret; local
98 word_t ret; local
110 word_t ret; local
122 word_t ret; local
134 word_t ret; local
146 word_t ret; local
158 word_t ret; local
170 word_t ret; local
182 word_t ret; local
194 word_t ret; local
206 word_t ret; local
218 word_t ret; local
230 word_t ret; local
242 word_t ret; local
254 word_t ret; local
266 word_t ret; local
277 word_t ret = 0; local
289 word_t ret = 0; local
302 word_t ret = 0; local
324 uint64_t ret = 0; local
331 uint64_t ret = get_cntv_cval_64(); local
339 uint64_t ret = get_cntv_cval_64(); local
345 uint64_t ret = get_cntv_cval_64(); local
353 uint64_t ret = get_cntv_cval_64(); local
368 uint64_t ret = 0; local
375 uint64_t ret = get_cntv_off_64(); local
383 uint64_t ret = get_cntv_off_64(); local
389 uint64_t ret = get_cntv_off_64(); local
397 uint64_t ret = get_cntv_off_64(); local
[all...]
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h38 word_t ret; local
39 asm("mrs %[ret], lr_svc" : [ret]"=r"(ret));
40 return ret;
50 word_t ret; local
51 asm("mrs %[ret], sp_svc" : [ret]"=r"(ret));
52 return ret;
62 word_t ret; local
74 word_t ret; local
86 word_t ret; local
98 word_t ret; local
110 word_t ret; local
122 word_t ret; local
134 word_t ret; local
146 word_t ret; local
158 word_t ret; local
170 word_t ret; local
182 word_t ret; local
194 word_t ret; local
206 word_t ret; local
218 word_t ret; local
230 word_t ret; local
242 word_t ret; local
254 word_t ret; local
266 word_t ret; local
277 word_t ret = 0; local
289 word_t ret = 0; local
302 word_t ret = 0; local
324 uint64_t ret = 0; local
331 uint64_t ret = get_cntv_cval_64(); local
339 uint64_t ret = get_cntv_cval_64(); local
345 uint64_t ret = get_cntv_cval_64(); local
353 uint64_t ret = get_cntv_cval_64(); local
368 uint64_t ret = 0; local
375 uint64_t ret = get_cntv_off_64(); local
383 uint64_t ret = get_cntv_off_64(); local
389 uint64_t ret = get_cntv_off_64(); local
397 uint64_t ret = get_cntv_off_64(); local
[all...]
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h38 word_t ret; local
39 asm("mrs %[ret], lr_svc" : [ret]"=r"(ret));
40 return ret;
50 word_t ret; local
51 asm("mrs %[ret], sp_svc" : [ret]"=r"(ret));
52 return ret;
62 word_t ret; local
74 word_t ret; local
86 word_t ret; local
98 word_t ret; local
110 word_t ret; local
122 word_t ret; local
134 word_t ret; local
146 word_t ret; local
158 word_t ret; local
170 word_t ret; local
182 word_t ret; local
194 word_t ret; local
206 word_t ret; local
218 word_t ret; local
230 word_t ret; local
242 word_t ret; local
254 word_t ret; local
266 word_t ret; local
277 word_t ret = 0; local
289 word_t ret = 0; local
302 word_t ret = 0; local
324 uint64_t ret = 0; local
331 uint64_t ret = get_cntv_cval_64(); local
339 uint64_t ret = get_cntv_cval_64(); local
345 uint64_t ret = get_cntv_cval_64(); local
353 uint64_t ret = get_cntv_cval_64(); local
368 uint64_t ret = 0; local
375 uint64_t ret = get_cntv_off_64(); local
383 uint64_t ret = get_cntv_off_64(); local
389 uint64_t ret = get_cntv_off_64(); local
397 uint64_t ret = get_cntv_off_64(); local
[all...]
/seL4-l4v-master/seL4/include/arch/arm/arch/machine/
H A Ddebug.h134 syscall_error_t ret = { local
146 ret.type = seL4_IllegalOperation;
147 return ret;
161 ret.type = seL4_InvalidArgument;
162 ret.invalidArgumentNumber = 0;
163 return ret;
170 ret.type = seL4_InvalidArgument;
171 ret.invalidArgumentNumber = 0;
172 return ret;
176 return ret;
185 syscall_error_t ret = { local
227 syscall_error_t ret = { local
241 syscall_error_t ret = { local
[all...]
/seL4-l4v-master/seL4/src/kernel/
H A Dcspace.c18 lookupCap_ret_t ret; local
22 ret.status = lu_ret.status;
23 ret.cap = cap_null_cap_new();
24 return ret;
27 ret.status = EXCEPTION_NONE;
28 ret.cap = lu_ret.slot->cap;
29 return ret;
35 lookupCapAndSlot_ret_t ret; local
39 ret.status = lu_ret.status;
40 ret
55 lookupSlot_raw_ret_t ret; local
69 lookupSlot_ret_t ret; local
128 resolveAddressBits_ret_t ret; local
[all...]
/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dmachine_asm.S10 ret
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/
H A Ddebug.h122 syscall_error_t ret; local
124 ret.type = seL4_NoError;
125 return ret;
134 syscall_error_t ret = { local
140 ret.rangeErrorMin = 0;
141 ret.rangeErrorMax = 3;
142 ret.type = seL4_RangeError;
143 return ret;
147 ret.invalidArgumentNumber = 3;
148 ret
156 syscall_error_t ret = { local
171 syscall_error_t ret = { local
[all...]
/seL4-l4v-master/HOL4/polyml/samplecode/Foreign/
H A DForeignTest.c54 struct r2 ret; local
55 ret.n = n + 1;
56 ret.m = m + 1;
57 return ret;
68 struct r4 ret; local
69 ret.a = n + 1;
70 ret.b = m + 1;
71 ret.c = n + 2;
72 ret.d = m + 2;
73 return ret;
82 struct r6 ret; local
[all...]
/seL4-l4v-master/seL4/tools/hardware/utils/
H A Dmemory.py35 ret = set()
38 ret.update(child.get_regions())
39 return ret
45 ret = set(regions)
50 for el in ret:
53 ret = new_ret
54 return ret
61 ret = sorted(regions)
67 physBase = ret[0].base
70 resv = Region(ret[
[all...]
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dobjecttype.c25 deriveCap_ret_t ret; local
30 ret.cap = cap;
31 ret.status = EXCEPTION_NONE;
35 ret.cap = cap_null_cap_new();
36 ret.status = EXCEPTION_SYSCALL_ERROR;
38 return ret;
42 ret.cap = cap;
43 ret.status = EXCEPTION_NONE;
47 ret.cap = cap_null_cap_new();
48 ret
[all...]
/seL4-l4v-master/graph-refine/graph-to-graph/
H A Daddr_utils.py13 ret = [n for n in p.nodes if isCall(p.nodes[n])]
15 ret = [n for n in ret if p.nodes[n].fname in fs]
16 return ret
H A Dcall_graph_utils.py34 ret = {}
37 if l not in ret:
38 ret[l] = []
39 ret[l].append(f)
40 return ret
90 ret = set()
96 if ff not in ret and not isSpecIns(ff):
97 ret.add(ff)
99 return ret
125 ret
[all...]
H A Dconvert_loop_bounds.py17 ret = []
24 ret += lbfs[f].keys()
26 print 'working on %s' % str(map(hex,ret))
27 return ret
56 ret= None
58 ret = (64, 'phantom_preempt')
65 ret = loop_bounds.get_bound_super_ctxt(head,[],
73 if ret == None or ret[1]== 'None':
81 lbfs[f][head] = (ret[
[all...]
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dmachine_asm.S41 1: ret
47 ret
52 ret
57 ret
69 ret
78 ret
85 ret
92 ret
98 ret
104 ret
[all...]
/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dmachine_asm.S25 ret
32 ret
39 ret
46 ret
53 ret
60 ret
72 ret
84 ret
89 ret
94 ret
[all...]
/seL4-l4v-master/seL4/src/arch/x86/machine/
H A Dbreakpoint.c151 convertedTypeAndAccess_t ret; local
174 ret.type = seL4_InstructionBreakpoint;
175 ret.rw = seL4_BreakOnRead;
178 ret.type = seL4_DataBreakpoint;
179 ret.rw = seL4_BreakOnWrite;
183 ret.type = seL4_DataBreakpoint;
184 ret.rw = seL4_BreakOnReadWrite;
187 return ret;
448 getBreakpoint_t ret; local
452 ret
482 bool_t ret; member in struct:__anon251
488 testAndResetSingleStepException_t ret; local
559 getAndResetActiveBreakpoint_t ret; local
[all...]
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dept.c74 findEPTForASID_ret_t ret; local
81 ret.ept = NULL;
82 ret.status = EXCEPTION_LOOKUP_FAULT;
83 return ret;
86 ret.ept = (ept_pml4e_t *)asid_map_asid_map_ept_get_ept_root(asid_map);
87 ret.status = EXCEPTION_NONE;
88 return ret;
98 lookupEPTPDPTSlot_ret_t ret; local
106 ret.pdptSlot = NULL;
107 ret
120 lookupEPTPDSlot_ret_t ret; local
150 lookupEPTPTSlot_ret_t ret; local
197 EPTPDPTMapped_ret_t ret; local
390 EPTPageDirectoryMapped_ret_t ret; local
579 EPTPageTableMapped_ret_t ret; local
[all...]
/seL4-l4v-master/seL4/tools/hardware/outputs/
H A Dc_header.py148 ret = {}
150 if irq.label in ret:
151 if irq.prio > ret[irq.label].prio:
152 ret[irq.label] = irq
154 ret[irq.label] = irq
156 ret = list(ret.values())
157 ret.sort(key=lambda a: a.label)
158 return ret
/seL4-l4v-master/seL4/src/arch/arm/64/object/
H A Dobjecttype.c32 deriveCap_ret_t ret; local
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
[all...]
/seL4-l4v-master/seL4/tools/hardware/
H A Dmemory.py23 ret = Region(other.base, other.size)
24 return ret
45 ret = Region(start, end - start, owner)
46 return ret
64 ret = []
67 ret.append(Region.from_range(self.base, excluded.base, self.owner))
71 ret.append(Region.from_range(excluded.base + excluded.size,
77 ret.append(Region.from_range(excluded.base + excluded.size,
79 return ret
101 ret
[all...]
/seL4-l4v-master/seL4/src/arch/arm/32/object/
H A Dobjecttype.c38 deriveCap_ret_t ret; local
43 ret.cap = cap;
44 ret.status = EXCEPTION_NONE;
48 ret.cap = cap_null_cap_new();
49 ret.status = EXCEPTION_SYSCALL_ERROR;
51 return ret;
55 ret.cap = cap;
56 ret.status = EXCEPTION_NONE;
60 ret.cap = cap_null_cap_new();
61 ret
[all...]
/seL4-l4v-master/seL4/src/arch/arm/machine/
H A Ddebug.c177 word_t ret; \
181 MRC(MAKE_ ## _reg(1), ret); \
182 return ret; \
184 MRC(MAKE_ ## _reg(2), ret); \
185 return ret; \
187 MRC(MAKE_ ## _reg(3), ret); \
188 return ret; \
190 MRC(MAKE_ ## _reg(4), ret); \
191 return ret; \
193 MRC(MAKE_ ## _reg(5), ret); \
599 getBreakpoint_t ret; local
941 int i, ret = -1; local
998 fault_status_t ret; local
1083 seL4_Fault_t ret; local
[all...]

Completed in 124 milliseconds

12345