#include <gc_block.h>
Public Attributes | |
| void * | base |
| void * | free |
| void * | ceiling |
| void * | new_free |
| unsigned int | block_idx |
| volatile unsigned int | status |
| volatile unsigned int | num_live_objs |
| volatile unsigned int | dest_counter |
| Partial_Reveal_Object * | src |
| Partial_Reveal_Object * | next_src |
| Block_Header * | next |
| POINTER_SIZE_INT | table [1] |
| void* Block_Header.base |
| void* Block_Header.free |
| void* Block_Header.ceiling |
| void* Block_Header.new_free |
| unsigned int Block_Header.block_idx |
| volatile unsigned int Block_Header.status |
| volatile unsigned int Block_Header.num_live_objs |
| volatile unsigned int Block_Header.dest_counter |
| POINTER_SIZE_INT Block_Header.table[1] |
Genereated on Tue Mar 11 19:25:34 2008 by Doxygen.
(c) Copyright 2005, 2008 The Apache Software Foundation or its licensors, as applicable.