put_vaddr_frames
EXPORT_SYMBOL(put_vaddr_frames);
put_vaddr_frames(vec);
void put_vaddr_frames(struct frame_vector *vec);