Symbol: vmcmd_map_pagedvn