Is vGPU live migration available for Linux too, or just Citrix/Vmware?

All mentions about migrations in documentation are related to Citrix and Vmware. But in linux VGPU VFIO driver source code I found code about that. So I can’t figure out is it some ‘universal’ code for all platforms and on Linux it can’t be used because of some restrictions, or I had missed something in documentation and it can be used? Thank you in advance.