Symbol: sbp_page_table_entry