public static final void setupProcessor(VM_Processor p) {
public static final void setupProcessor(VM_Processor p) throws VM_PragmaInterruptible {
  public static final void setupProcessor(VM_Processor p) {    VM_Allocator.setupProcessor(p);  }