

Long get_user_pages(struct task_struct *tsk, struct mm_struct *mm,

Include/linux/mm.h:1222:6: note: expected ‘struct page **’ but argument is of type ‘int’ In file included from /tmp/vbox.0/r0drv/linux/the-linux-kernel.h:98:0,įrom /tmp/vbox.0/r0drv/linux/memobj-r0drv-linux.c:31: tmp/vbox.0/r0drv/linux/memobj-r0drv-linux.c:1122:33: warning: passing argument 6 of ‘get_user_pages’ makes pointer from integer without a cast tmp/vbox.0/r0drv/linux/memobj-r0drv-linux.c: In function ‘rtR0MemObjNativeLockUser’: Mkdir -p /tmp/vbox.0/.tmp_versions rm -f /tmp/vbox.0/.tmp_versions/* Make: warning: -jN forced in submake: disabling jobserver mode. Make V=1 CONFIG_MODULE_SIG= -C /lib/modules/4.4.0-143-generic/build SUBDIRS=/tmp/vbox.0 SRCROOT=/tmp/vbox.0 -j8 modules log, I see that the problem seems to be related with the "get_user_pages" function, and at this point I honestly have no idea how to solve it. Vboxdrv.sh: failed: Look at /var/log/vbox-setup.log to find out what went wrong. Vboxdrv.sh: Building VirtualBox kernel modules. Vboxdrv.sh: Starting VirtualBox services. Vboxdrv.sh: Stopping VirtualBox services.

On linux, open returned ENOENT.Īfter reading about similar problems and understanding why should I do it, I executed it (same results with 'sudo /usr/lib/virtualbox/vboxdrv.sh setup' and any other solutions to similar problems/posts I've found on this site): $ sudo /sbin/vboxconfig Where: suplibOsInit what: 3 VERR_VM_DRIVER_NOT_INSTALLED (-1908) - The support driver is not installed. Please reinstall the kernel module by executing The VirtualBox Linux kernel driver (vboxdrv) is either not loaded or there is a permission problem with /dev/vboxdrv. deb, not the Ubuntu Software Center one) and got that famous error: Kernel driver not installed (rc=-1908) Afterwards I tried to launch a Virtual Box machine (version installed via. I ran Ubuntu Software Updater this morning, after turning on the computer. Updates which have "broken" something: those between last week and today (8)
