Searched refs:valu (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | save_vec.cpp | 68 Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */ argument 72 Check(valu); 74 *save_vec_addr = SaveVecEntry(valu);
|
H A D | scanaddrs.cpp | 208 uintptr_t valu; local 210 if (pt[sizeof(uintptr_t)-1] & 0x80) valu = 0-1; else valu = 0; 212 valu = (valu << 8) | pt[i-1]; 213 if (valu == 0 || PolyWord::FromUnsigned((POLYUNSIGNED)valu).IsTagged()) 215 else return (PolyObject*)valu; 243 uintptr_t valu = (uintptr_t)p; local 246 addressToWrite[i] = (byte)(valu [all...] |
H A D | save_vec.h | 68 Handle push(PolyWord valu);
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | DEBUGGER_.sml | 153 fun match (EnvTypeid{original, freeId }, valu) = 159 SOME(TypeId { access= Global(mkConst valu), idKind=idKind, description=description}) 191 fun makeStructure state (name, rSig, locations, valu) = 200 makeGlobalStruct (name, newSig, mkConst valu, locations) 219 fun getValue(valu, ty) = 226 then mkConst valu 227 else mkInlproc(mkConst valu, nPolyVars, "poly", [], 0) 230 fun makeValue state (name, ty, location, valu) = 231 mkGvar(name, runTimeType state ty, getValue(valu, ty), location) 233 and makeException state (name, ty, location, valu) [all...] |
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | FinalPolyML.sml | 1323 fun match (EnvStartFunction(_, _, ty), valu) = 1324 SOME(makeAnonymousValue state (ty, valu)) 1334 fun match (EnvEndFunction(_, _, ty), valu) = 1335 SOME(makeAnonymousValue state(ty, valu)) 1359 fun lookupValues (EnvValue(name, ty, location) :: ntl, valu :: vl) s = 1361 then SOME(makeValue state (name, ty, location, valu)) 1364 | lookupValues (EnvException(name, ty, location) :: ntl, valu :: vl) s = 1366 then SOME(makeException state (name, ty, location, valu)) 1369 | lookupValues (EnvVConstr(name, ty, nullary, count, location) :: ntl, valu :: vl) s = 1371 then SOME(makeConstructor state (name, ty, nullary, count, location, valu)) [all...] |
Completed in 62 milliseconds