Searched defs:len (Results 1 - 12 of 12) sorted by relevance

/seL4-mcs-10.1.1/src/
H A Dstring.c17 word_t len; local
24 word_t len; local
34 word_t len; local
[all...]
/seL4-mcs-10.1.1/src/arch/x86/32/kernel/
H A Delf.c65 uint32_t len; local
/seL4-mcs-10.1.1/src/arch/x86/64/kernel/
H A Delf.c62 uint64_t len; local
/seL4-mcs-10.1.1/src/api/
H A Dfaults.c228 word_t len = setMR(receiver, receiveIPCBuffer, seL4_Timeout_Data, local
H A Dsyscall.c106 word_t len; local
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dcmdline.c38 int len = -1; local
/seL4-mcs-10.1.1/include/api/
H A Dtypes.h86 word_t len; local
H A Dbootinfo_types.h83 seL4_Word len; member in struct:__anon5
/seL4-mcs-10.1.1/src/object/
H A Dendpoint.c215 word_t len; local
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dbootinfo_types.h83 seL4_Word len; member in struct:__anon78
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dioport.c185 word_t len; local
/seL4-mcs-10.1.1/src/plat/spike/machine/
H A Dfdt.c70 int len; // in bytes of value member in struct:fdt_scan_prop

Completed in 86 milliseconds