typedef void (*PK_DEBUG_SESSION_exit_cb_t)(const char *, PK_POINTER_t);
PK_DEBUG_SESSION_watch_fns
This callback function is registered via PK_DEBUG_SESSION_watch_fns. The callback is invoked when a watched PK function is exited.