| Index: gpu/command_buffer/client/mapped_memory.h
|
| diff --git a/gpu/command_buffer/client/mapped_memory.h b/gpu/command_buffer/client/mapped_memory.h
|
| index b8f3129eb4a3cddf452e9fabe30ec62a1af12eda..5f1b682d010a3d8eddd5c9796bccaa3ef94aa959 100644
|
| --- a/gpu/command_buffer/client/mapped_memory.h
|
| +++ b/gpu/command_buffer/client/mapped_memory.h
|
| @@ -79,6 +79,10 @@ class GPU_EXPORT MemoryChunk {
|
| allocator_.FreePendingToken(pointer, token);
|
| }
|
|
|
| + void FreePendingSerial(void* pointer, uint32 serial) {
|
| + allocator_.FreePendingSerial(pointer, serial);
|
| + }
|
| +
|
| // Frees any blocks whose tokens have passed.
|
| void FreeUnused() {
|
| allocator_.FreeUnused();
|
| @@ -153,6 +157,8 @@ class GPU_EXPORT MappedMemoryManager {
|
| // token: the token value to wait for before re-using the memory.
|
| void FreePendingToken(void* pointer, int32 token);
|
|
|
| + void FreePendingSerial(void *pointer, uint32 serial);
|
| +
|
| // Free Any Shared memory that is not in use.
|
| void FreeUnused();
|
|
|
|
|