diff options
| author | Brian Nguyen <brnguyen@nvidia.com> | 2014-10-02 15:52:16 -0700 |
|---|---|---|
| committer | brnguyen <brnguyen@nvidia.com> | 2014-10-28 15:37:28 -0700 |
| commit | 81523012da5a4ecc2a656a6ccaef0b596c401e0f (patch) | |
| tree | 58573dc90db1ea4e5e8d360cd6b8180409d71cc4 /src/GLdispatch/GLdispatch.h | |
| parent | 4ccb62cd1318b36954a9684079329177d8ad88c9 (diff) | |
Add __glDispatch{Fini,Reset}()
__glDispatchFini() is called by a GLdispatch client to clean up
GLdispatch-internal state when the client is done using GLdispatch
functionality.
__glDispatchReset() is called by a GLdispatch client to determine
whether fork recovery is needed, and handle the fork if necessary.
Signed-off-by: Brian Nguyen <brnguyen@nvidia.com>
Diffstat (limited to 'src/GLdispatch/GLdispatch.h')
| -rw-r--r-- | src/GLdispatch/GLdispatch.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/GLdispatch/GLdispatch.h b/src/GLdispatch/GLdispatch.h index 1ec9984..a88ed7e 100644 --- a/src/GLdispatch/GLdispatch.h +++ b/src/GLdispatch/GLdispatch.h @@ -118,6 +118,17 @@ typedef void (*__GLdispatchGetOffsetHook)(void *(*lookupStubOffset)(const char * PUBLIC void __glDispatchInit(GLVNDPthreadFuncs *funcs); /*! + * Tears down GLdispatch state. + */ +PUBLIC void __glDispatchFini(void); + +/*! + * Called when the client library has detected a fork, and GLdispatch state + * needs to be reset to handle the fork. + */ +PUBLIC void __glDispatchReset(void); + +/*! * This returns a process-unique ID that is suitable for use with a new GL * vendor. */ |