Symbol: page_add_to_ckpt_list