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