kernel code reading: vfio_container's elements