Symbol: dcn_hubbub_page_table_depth