This bug was fixed in the package virtualbox - 4.2.16-dfsg-3ubuntu1
--------------- virtualbox (4.2.16-dfsg-3ubuntu1) trusty; urgency=low
* debian/patches/38-linux-3.12.patch: Fix build on linux 3.12 (LP: #1246925). -- Logan Rosen <email address hidden> Thu, 31 Oct 2013 19:35:09 -0400
This bug was fixed in the package virtualbox - 4.2.16- dfsg-3ubuntu1
--------------- dfsg-3ubuntu1) trusty; urgency=low
virtualbox (4.2.16-
* debian/ patches/ 38-linux- 3.12.patch: Fix build on linux 3.12 (LP: #1246925).
-- Logan Rosen <email address hidden> Thu, 31 Oct 2013 19:35:09 -0400