Searched defs:status (Results 1 - 25 of 56) sorted by relevance

123

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/kernel/
H A Dvspace.h19 exception_t status; member in struct:lookupPDPTSlot_ret
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/
H A Diospace.h35 exception_t status; member in struct:lookupIOPTSlot_ret
/seL4-l4v-10.1.1/seL4/include/object/
H A Dcap.h17 exception_t status; member in struct:deriveCap_ret
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DMosml.sml29 val status = OS.Process.system cmdline value
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/
H A Dvspace.h49 exception_t status; member in struct:findVSpaceForASID_ret
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dept.h24 exception_t status; member in struct:EPTPDPTMapped_ret
31 exception_t status; member in struct:EPTPageDirectoryMapped_ret
38 exception_t status; member in struct:EPTPageTableMapped_ret
43 exception_t status; member in struct:findEPTForASID_ret
H A Dvspace.h24 exception_t status; member in struct:lookupPTSlot_ret
30 exception_t status; member in struct:lookupPDSlot_ret
36 exception_t status; member in struct:findVSpaceForASID_ret
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h20 exception_t status; member in struct:lookupCap_ret
26 exception_t status; member in struct:lookupCapAndSlot_ret
33 exception_t status; member in struct:lookupSlot_raw_ret
39 exception_t status; member in struct:lookupSlot_ret
45 exception_t status; member in struct:resolveAddressBits_ret
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dfaulthandler.c21 exception_t status; local
/seL4-l4v-10.1.1/HOL4/src/integer/testing/
H A Dtcooper.c95 int status, wait_retval; local
/seL4-l4v-10.1.1/isabelle/Admin/bash_process/
H A Dbash_process.c58 int status; local
/seL4-l4v-10.1.1/l4v/isabelle/Admin/bash_process/
H A Dbash_process.c58 int status; local
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h29 exception_t status; member in struct:createMappingEntries_ret
38 exception_t status; member in struct:findPDForASID_ret
44 exception_t status; member in struct:lookupPTSlot_ret
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dinterrupt.c50 exception_t status = Arch_checkIRQ(irq_w); local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Djava_raw_api.c343 ffi_status status; local
H A Draw_api.c231 ffi_status status; local
/seL4-l4v-10.1.1/HOL4/src/proofman/
H A DproofManagerLib.sig52 val status : unit -> proofs value
H A DproofManagerLib.sml122 val status = proofs; value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/
H A Dffi.c323 ffi_status status; local
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DPRINT_PARSETREE.sml457 val status = value
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dinterrupt.c83 exception_t status; local
/seL4-l4v-10.1.1/seL4/src/object/
H A Dinterrupt.c39 exception_t status; local
/seL4-l4v-10.1.1/HOL4/tools/Holmake/mosml/
H A DBuildCommand.sml144 val status = Systeml.mk_xable script value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DTptp.sig61 datatype status = type
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTptp.sig61 datatype status = type

Completed in 104 milliseconds

123