# HG changeset patch
# User jani
# Date 1085990128 0
# Node ID 59fbd6362c2b481e35d12a241d555674ada1952a
# Parent  feba8011053f23e51822bc8078a91a8b43cf7c10
get rid of unused workspace_size

diff --git a/packages/redboot/current/ChangeLog b/packages/redboot/current/ChangeLog
--- a/packages/redboot/current/ChangeLog
+++ b/packages/redboot/current/ChangeLog
@@ -1,3 +1,8 @@
+2004-05-31  Jani Monoses <jani@iv.ro>
+
+	* src/main.c:
+	* include/redboot.h: Get rid of unused workspace_size.
+	
 2004-05-16  Andrew Dyer  <adyer@righthandtech.com>
 2004-05-27  Jonathan Larmour  <jifl@eCosCentric.com>
 
diff --git a/packages/redboot/current/include/redboot.h b/packages/redboot/current/include/redboot.h
--- a/packages/redboot/current/include/redboot.h
+++ b/packages/redboot/current/include/redboot.h
@@ -89,7 +89,6 @@ EXTERN struct _mem_segment {
 EXTERN bool valid_address(unsigned char *addr);
 EXTERN void cyg_plf_memory_segment(int seg, unsigned char **start, unsigned char **end);
 EXTERN unsigned char *workspace_start, *workspace_end;
-EXTERN unsigned long workspace_size;
 
 // Data squirreled away after a load operation
 EXTERN unsigned long entry_address;
diff --git a/packages/redboot/current/src/main.c b/packages/redboot/current/src/main.c
--- a/packages/redboot/current/src/main.c
+++ b/packages/redboot/current/src/main.c
@@ -286,18 +286,15 @@ cyg_start(void)
 #ifdef CYGMEM_SECTION_heap1
     workspace_start = (unsigned char *)CYGMEM_SECTION_heap1;
     workspace_end = (unsigned char *)(CYGMEM_SECTION_heap1+CYGMEM_SECTION_heap1_SIZE);
-    workspace_size = CYGMEM_SECTION_heap1_SIZE;
 #else
     workspace_start = (unsigned char *)CYGMEM_REGION_ram;
     workspace_end = (unsigned char *)(CYGMEM_REGION_ram+CYGMEM_REGION_ram_SIZE);
-    workspace_size = CYGMEM_REGION_ram_SIZE;
 #endif
 
     if ( ram_end < workspace_end ) {
         // when *less* SDRAM is installed than the possible maximum,
         // but the heap1 region remains greater...
         workspace_end = ram_end;
-        workspace_size = workspace_end - workspace_start;
     }
 
     // Nothing has ever been loaded into memory