Searched defs:ret (Results 1 - 25 of 39) sorted by relevance

12

/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/machine/
H A D	debug.h	25 word_t ret; local 45 word_t ret; local 65 word_t ret; local [all...]
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/machine/
H A D	debug.h	25 word_t ret; local 45 word_t ret; local 65 word_t ret; local [all...]
/seL4-mcs-10.1.1/include/plat/pc99/plat/machine/
H A D	interrupt.h	53 interrupt_t ret = ARCH_NODE_STATE(x86KSPendingInterrupt); local
/seL4-mcs-10.1.1/src/arch/x86/api/
H A D	faults.c	77 word_t ret = ARCH_NODE_STATE(x86KSGPExceptReturnTo); local
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A D	debug.h	145 syscall_error_t ret = { local 197 syscall_error_t ret = { local 240 syscall_error_t ret = { local 255 syscall_error_t ret = { local [all...]
/seL4-mcs-10.1.1/include/arch/x86/arch/machine/
H A D	debug.h	134 syscall_error_t ret; local 147 syscall_error_t ret = { local 170 syscall_error_t ret = { local 186 syscall_error_t ret = { local [all...]
/seL4-mcs-10.1.1/src/api/
H A D	faults.c	244 unsigned int ret = setMR(receiver, receiveIPCBuffer, local
H A D	syscall.c	443 exception_t ret = EXCEPTION_NONE; local [all...]
/seL4-mcs-10.1.1/src/arch/x86/32/object/
H A D	objecttype.c	43 deriveCap_ret_t ret; local
/seL4-mcs-10.1.1/src/arch/x86/64/object/
H A D	objecttype.c	47 deriveCap_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/kernel/
H A D	cspace.c	23 lookupCap_ret_t ret; local 41 lookupCapAndSlot_ret_t ret; local 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/include/arch/x86/arch/64/mode/fastpath/
H A D	fastpath.h	31 uint64_t ret = ep_ptr->words[0] & 0xfffffffffffcull; local
/seL4-mcs-10.1.1/src/arch/arm/32/object/
H A D	objecttype.c	44 deriveCap_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/arm/64/object/
H A D	objecttype.c	40 deriveCap_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/riscv/object/
H A D	objecttype.c	30 deriveCap_ret_t ret; local [all...]
/seL4-mcs-10.1.1/src/arch/x86/object/
H A D	objecttype.c	29 deriveCap_ret_t ret; local [all...]
H A D	ioport.c	258 exception_t ret; local [all...]
H A D	iospace.c	86 lookupIOPTSlot_ret_t ret; local 116 lookupIOPTSlot_ret_t ret; local [all...]
/seL4-mcs-10.1.1/include/arch/arm/armv/armv7-a/armv/
H A D	vcpu.h	39 word_t ret; local 53 word_t ret; local 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 53 word_t ret; local 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/libsel4/arch_include/arm/sel4/arch/
H A D	syscalls.h	630 seL4_Word ret; local 645 seL4_Word ret; local
/seL4-mcs-10.1.1/src/arch/arm/object/
H A D	iospace.c	58 lookupIOPDSlot_ret_t ret; local
/seL4-mcs-10.1.1/src/object/
H A D	objecttype.c	65 deriveCap_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
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A D	syscalls.h	743 seL4_Word ret; local

Completed in 182 milliseconds

12

Indexes created Thu May 23 20:32:32 MDT 2024