Symbol: LOG_PAGE_ADDR_SHIFT