Searched refs:tombObject (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dexporter.cpp324 PolyObject *tombObject = (PolyObject*)tombAddr; local
325 if (tombObject->ContainsForwardingPtr())
330 newAddr = (PolyObject*)(globalCodeBase + ((tombObject->LengthWord() & ~_OBJ_TOMBSTONE_BIT) << 1));
331 else newAddr = tombObject->GetForwardingPtr();
333 PolyObject *newAddr = tombObject->GetForwardingPtr();
451 PolyObject *tombObject = (PolyObject*)tombAddr; local
456 tombObject->SetLengthWord(ll);
458 else tombObject->SetForwardingPtr(newObj);
460 tombObject->SetForwardingPtr(newObj);

Completed in 28 milliseconds