pocl/pocl — pull request #144 by PromyLOPh (2014-11-10 13:27:47+00:00)
Title: Initialize and use device’s dev_id

As far as I see device_ptrs should be accessed by dev_id too. See commit message.