Symbol: page_table_alloc_noprof