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

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/
H A DDEBUGGER_.sml91 and dynamic = loadWord(threadId, 0w7) value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DFinalPolyML.sml1266 and dynamic = RunCall.loadWord(t, 0w7) value

Completed in 92 milliseconds