前两天在虚拟机调试时，在排查问题时，对内核进行了升级。升级后，虚拟机的共享文件夹就无法使用了。按照网上找的资料，建议几乎都是重新安装VirtualBox Guest Addtions。然后Linux下安装这个东西基本就是分下面几步：
1. 在virtualbox中加载VBoxGuestAddtions.iso，如下所示：
这一步操作之后，在宿主机上，可以看到CD-Rom盘中，会出现VirtialBox Guest Addions，如下所示：
2. 将cd-rom中的内容映射到另一个文件夹
在虚拟机中，创建临时文件件，比如/mnt/cdrom。
然后mount /dev/cdrom /mnt/cdrom
之后进入/mnt/cdrom
最后执行bash ./VBoxLinuxAdditions.run
不过在执行这条语句之前，需要安装必要的软件，比如对应版本的linux-headers-$(uname -r)，gcc，build-essential。
在我的环境中，这些都是已经安装好的。
但是在安装的过程中，最后有报错，错误就是modprobe vboxsf failed.
导致的结果，就是重启后，执行mount -tvboxsf 去映射共享文件夹时，就报错：/sbin/mount.vboxsf: mounting failed with the error: No such device
发生上述故障后，网上的资料有各种说法，比较靠谱的解释，是这个问题是由于实际的内核版本与编译vboxsf（我理解vboxsf也就是一个驱动，首次使用时，其实有一个编译的过程，因此在安装VboxGuestAdditions时，需要安装gcc，build-eseential。另外，这个驱动与内核的版本相关，因此编译的时候，需要有对应内核版本的linux-headers）时使用的内核版本不一致导致的（我在前面描述过，确实我的虚拟机升级过内核）。因此我想着，解决办法有两种：
1. 把内核版本退下来
2. 在当前内核版本下，先卸载vboxGuestAdditions(指令就是./VBoxLinuxAddtions uninstall)，然后再安装（因为安装的过程会重新编译驱动）
照着这个思路，去实践了一下，结果：
1. 内核版本退下来。结果仍然是无法创建共享文件夹。错误与前面的一样。
2. 高版本内核下，先卸载，再安装。当然，这个过程开始之前，先要下载与内核版本对应的linux-headers。不过结果很遗憾，还是失败。
两个思路都走不通的情况下，再次去查找资料。比如尝试了到/opt/VBo**/init/下，去调用./vboxadd setup（这个操作其实感觉就是安装的过程，结果当然是失败的）。最后，想到了去/var/log下去看看日志吧。在/var/log/下有vboxadd-setup.log，在这里可以看到编译过程中的错误。在我的环境中，就有很多下面的错误信息：
/tmp/vbox.0/utils.c:379:60: error: passing argument 2 of ‘sf_timespec_from_ftime’ from incompatible pointer type
用这个信息，再去查找资料，最终在这个virtualbox.org • View topic - [Solved] Fedora 28, kernel 4.18, vboxsf failed to compile
网页上看到类似的问题，并且是solved。不过，呵呵，解决办法很easy，就是升级vboxGuestAddtions。也是碰巧，我在使用的这个版本是2018年发行的（中间一直没有升级），帖子也是2018年的。于是进行了升级，升级过后，首先重启。之后再次去mount共享文件夹，这次终于成功了。