Symbol: auxdev_to_adev