Symbol: page_table_alloc