/seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/ |
H A D | vcpu.h | 39 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 D | vcpu.h | 39 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 D | debug.h | 25 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 D | debug.h | 25 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 D | debug.h | 145 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 D | cspace.c | 23 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 D | machine_asm.S | 16 ret
|
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/ |
H A D | debug.h | 134 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 D | objecttype.c | 29 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 D | ioport.c | 258 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 D | iospace.c | 86 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 D | machine_asm.S | 26 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 D | objecttype.c | 40 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 D | machine_asm.S | 31 ret 38 ret 45 ret 52 ret 59 ret 66 ret 78 ret 90 ret 95 ret 100 ret [all...] |
H A D | head.S | 44 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 D | breakpoint.c | 165 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 D | ept.c | 83 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 D | objecttype.c | 44 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 D | debug.c | 185 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 D | objecttype.c | 47 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 D | objecttype.c | 30 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 D | smmu.h | 136 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 D | vspace.c | 682 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 D | debug.h | 97 word_t ret; local 99 MRC(DBGWFAR, ret); 100 return ret;
|
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1045 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...] |