allocate(unsigned int size) | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [inline] |
deallocate(void *ptr) | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [inline] |
getHeader(void *ptr) | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [inline, static] |
offset enum value | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [private] |