diff options
Diffstat (limited to 'include/buf0buf.h')
| -rw-r--r-- | include/buf0buf.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/buf0buf.h b/include/buf0buf.h index 80cc9803ddf..ef6a26f9459 100644 --- a/include/buf0buf.h +++ b/include/buf0buf.h @@ -53,6 +53,9 @@ Created 11/5/1995 Heikki Tuuri /*!< Get the page only if it's in the buffer pool, if not then set a watch on the page. */ +#define BUF_GET_POSSIBLY_FREED 16 + /*!< Like BUF_GET, but do not mind + if the file page has been freed. */ /* @} */ /** @name Modes for buf_page_get_known_nowait */ /* @{ */ |