Symbol: vmemmap_remove_mapping