protected static void acquireVMResource(VM_Address start, VM_Address end, int bytes) {}
protected static void acquireVMResource(VM_Address start, VM_Address end, VM_Extent bytes) {}
  protected static void acquireVMResource(VM_Address start, VM_Address end, int bytes) {} 