Wrap more device pointers in DeviceBuffer