Searched defs:kt (Results 1 - 3 of 3) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DksTools.sml376 val kt = type_of ksL value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dffi.c596 kern_return_t kt; local
724 kern_return_t kt; local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dtiming.cpp338 FILETIME ut, ct, et, kt; local
354 FILETIME ct, et, kt, ut; local

Completed in 71 milliseconds