2 ms·

You can do it in the vfio driver by just keeping the bookkeeping information around as resources are created.