static void setCurrentProcessor(VM_Processor p) { VM_Magic.pragmaInline();
static void setCurrentProcessor(VM_Processor p) throws VM_PragmaUninterruptible {
  static void setCurrentProcessor(VM_Processor p) {    VM_Magic.pragmaInline();    VM_Magic.setESIAsProcessor(p);  }