Rev 1787 | Rev 2067 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
else
printf("cpu%d: not active\n", i);
}
/** @}
*/