Searched refs:activated (Results 1 – 3 of 3) sorted by relevance
652 int activated; in hardwall_deactivate() local655 activated = (task->thread.hardwall[hwt->index].info != NULL); in hardwall_deactivate()656 if (activated) in hardwall_deactivate()660 if (!activated) in hardwall_deactivate()
176 to be activated during startup.
730 activated if the platform and the BIOS support this feature.