vfio_file_is_valid
EXPORT_SYMBOL_GPL(vfio_file_is_valid);
bool vfio_file_is_valid(struct file *file);
fn = symbol_get(vfio_file_is_valid);
symbol_put(vfio_file_is_valid);