405 		provider->setProperty("bus-frequency", busFrequency.get());  in start()
408 		provider->setProperty("bus-frequency", busFrequency.get());  in start()
413 		provider->setProperty("clock-frequency", cpuFrequency.get());  in start()
416 		provider->setProperty("clock-frequency", cpuFrequency.get());  in start()
420 	provider->setProperty("timebase-frequency", timebaseFrequency.get());  in start()
422 	super::setProperty("IOCPUID", getRegistryEntryID(), sizeof(uint64_t) * 8);  in start()
459 IOCPU::setProperty(const OSSymbol *aKey, OSObject *anObject)  in setProperty()  function in IOCPU
465 	return super::setProperty(aKey, anObject);  in setProperty()
499 		if (setProperty(gIOCPUStateKey.get(), stateStr)) {  in setProperties()
545 	super::setProperty("IOCPUNumber", _cpuNumber, 32);  in setCPUNumber()
639 	setProperty(gPlatformInterruptControllerName, kOSBooleanTrue);  in registerCPUInterruptController()
674 	service->setProperty(gIOInterruptControllersKey, controller.get());  in setCPUInterruptProperties()
675 	service->setProperty(gIOInterruptSpecifiersKey, specifier.get());  in setCPUInterruptProperties()