Searched defs:old_page_id (Results 1 – 11 of 11) sorted by relevance
66 const page_id_t old_page_id = bpage->id; in buf_read_page_handle_error() local
1930 void buf_LRU_free_one_page(buf_page_t* bpage, page_id_t old_page_id) in buf_LRU_free_one_page()
5866 page_id_t old_page_id = bpage->id; in buf_corrupt_page_release() local
1949 void buf_LRU_free_one_page(buf_page_t* bpage, page_id_t old_page_id) in buf_LRU_free_one_page()
5910 page_id_t old_page_id = bpage->id; in buf_corrupt_page_release() local
1219 int old_page_id = event.GetOldSelection(); in OnDocumentChange() local