I still don't see how this is the implementation of the MappedBufferIntern interface?
It is MappedBufferIntern which implements the DeviceBuffer interface.