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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dsave_vec.cpp68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */ argument
H A Dscanaddrs.cpp185 POLYUNSIGNED valu; local
221 POLYUNSIGNED valu = p.AsUnsigned(); local

Completed in 80 milliseconds