5388 OSKext::replaceDextInternal(OSKext *olddext, OSKext *newdext)  in replaceDextInternal()  argument
5391 	const OSSymbol * dextID = olddext->getIdentifier();  in replaceDextInternal()
5392 	OSData * oldDextUniqueIdentifier = olddext->getDextUniqueID();  in replaceDextInternal()
5411 		olddext->updatePersonalitiesInCatalog(new_personalities.get());  in replaceDextInternal()
5421 	result = olddext->unload();  in replaceDextInternal()
5439 		removeKext(olddext, true);  in replaceDextInternal()
5468 OSKext::upgradeDext(OSKext *olddext, OSKext *newdext)  in upgradeDext()  argument
5471 	__assert_only bool old_isDext = olddext->isDriverKit();  in upgradeDext()
5484 	__assert_only bool eq = dextID->isEqualTo(olddext->getIdentifier());  in upgradeDext()
5495 	olddext->flags.dextToReplace = 1;  in upgradeDext()
5504 	if (olddext->dextLaunchedCount == 0) {  in upgradeDext()
5521 		replaceDextInternal(olddext, newdext);  in upgradeDext()