/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | retprefix.c | 9 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 D | debug.h | 17 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 D | debug.h | 16 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 D | vcpu.h | 38 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 D | vcpu.h | 38 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 D | vcpu.h | 38 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 D | debug.h | 134 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 D | cspace.c | 18 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 D | machine_asm.S | 10 ret
|
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/ |
H A D | debug.h | 122 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 D | ForeignTest.c | 54 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 D | memory.py | 35 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 D | objecttype.c | 25 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 D | addr_utils.py | 13 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 D | call_graph_utils.py | 34 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 D | convert_loop_bounds.py | 17 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 D | machine_asm.S | 41 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 D | machine_asm.S | 25 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 D | breakpoint.c | 151 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 D | ept.c | 74 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 D | c_header.py | 148 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 D | objecttype.c | 32 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 D | memory.py | 23 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 D | objecttype.c | 38 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 D | debug.c | 177 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...] |