mirror of
https://github.com/MariaDB/server.git
synced 2026-01-06 05:22:24 +03:00
with page_get_page_no() and page_get_space_id(). We want to avoid buf_block_align() calls, and the page_no and space_id are now stamped on the pages early on.