prom_serengeti_wakeupcpu
prom_serengeti_wakeupcpu(nodeid) != 0) {
prom_serengeti_wakeupcpu(nodeid) != 0) {
prom_serengeti_wakeupcpu(nodeid) != 0) {
extern int prom_serengeti_wakeupcpu(pnode_t);
extern int prom_serengeti_wakeupcpu(pnode_t node);