int PrintLock;

PrintStart()

{  LOCK(PrintLock);
   print_str("CPU ");
   print_int(CPU_NUM);
   print_str("\n");
}

PrintEnd()

{  print_str("\n");
   print_str("\n");
   UNLOCK(PrintLock);
}