linux: handle device pointers more explicitely