#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.