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

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dpolyffi.cpp149 HINSTANCE lib = LoadLibrary(libName); local
162 void* lib = dlopen(libName, RTLD_LAZY); local
192 HINSTANCE lib = hApplicationInstance; local
266 void* lib = *(void**)(moduleAddress.AsObjPtr()); local
[all...]

Completed in 25 milliseconds