Searched defs:str1 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DMetafile.sml171 val str1 = fromCstring buff value
/seL4-l4v-master/seL4/src/machine/
H A Dcapdl.c59 static inline bool_t strings_equal(const char *str1, const char *str2) argument
/seL4-l4v-master/HOL4/src/postkernel/
H A DSharingTables.sml333 let fun str1 (s, tab) = #2 (new_string s tab) function

Completed in 51 milliseconds