hdr_file_off
second_file_off = hdr_file_off(log, second_tail);
first_file_off = hdr_file_off(log, first_tail);
u64 off = hdr_file_off(log, tmp_page);