Searched defs:setup (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/tools/python-deps/
H A Dsetup.py26 from setuptools import setup namespace
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dsolitare.cxx195 void setup(void) function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLexis.sml50 fun setup table P = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml2527 fun setup target name = function
2560 fun setup name = function
[all...]

Completed in 114 milliseconds