Symbol: page_table_entry_group