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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolyffi.cpp205 HINSTANCE lib = LoadLibrary(libName); local
218 void *lib = dlopen(libName, RTLD_LAZY); local
233 HINSTANCE lib = hApplicationInstance; local
278 void *lib = *(void**)(args->WordP()->Get(0).AsAddress()); local
[all...]

Completed in 16 milliseconds