/* the source and destination generations. These are set before a GC starts
* scavenging. */
generation_index_t from_space;
/* the source and destination generations. These are set before a GC starts
* scavenging. */
generation_index_t from_space;
/* Compute the number of pages needed for the dynamic space.
* Dynamic space size should be aligned on page size. */
page_table_pages = dynamic_space_size/PAGE_BYTES;
/* Compute the number of pages needed for the dynamic space.
* Dynamic space size should be aligned on page size. */
page_table_pages = dynamic_space_size/PAGE_BYTES;