Symbol: vm_alloc_page_table