<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <p>Content-Type: text/plain; charset="us-ascii"<br>
      MIME-Version: 1.0<br>
      Content-Transfer-Encoding: 7bit<br>
      From: Goran LAZAREVIC <a class="moz-txt-link-rfc2396E" href="mailto:goksibg@gmail.com"><goksibg@gmail.com></a><br>
      To: Debian Bug Tracking System <a class="moz-txt-link-rfc2396E" href="mailto:868169@bugs.debian.org"><868169@bugs.debian.org></a><br>
      Subject: Re: virtualbox-dkms: Fail to build (kernel 4.1.42)<br>
      Message-ID:
      <149989995911.17917.16977330860189400916.reportbug@localhost><br>
      X-Mailer: reportbug 7.1.7<br>
      Date: Thu, 13 Jul 2017 00:52:39 +0200<br>
      <br>
      Package: virtualbox-dkms<br>
      Version: 5.1.22-dfsg-3<br>
      Followup-For: Bug #868169<br>
      <br>
      Same problem here. I made the mistake not to pin the package as
      suggested by<br>
      apt-listbugs and got stucked... But found a temporary solution
      until<br>
      maintainers rebuild the package.<br>
      <br>
      The two following missing files should be in<br>
      /usr/src/virtualbox-5.1.22/include/VBox/vmm :<br>
      <br>
      - hm_vmx.h<br>
      - pdmnetinline.h<br>
      <br>
      But, lucky us, they are actually present in source tarball... So
      as a<br>
      workaround, download the source-files tarball at :<br>
      <br>
      -<br>
<a class="moz-txt-link-freetext" href="http://http.debian.net/debian/pool/contrib/v/virtualbox/virtualbox_5.1.22-dfsg.orig.tar.xz">http://http.debian.net/debian/pool/contrib/v/virtualbox/virtualbox_5.1.22-dfsg.orig.tar.xz</a><br>
      <br>
      Un-tar it, and you'll find the missing files under<br>
      ../virtualbox_5.1.22-dfsg.orig/VirtualBox-5.1.22/include/VBox/vmm/<br>
      <br>
      Open a terminal as root, and copy the two missing files to the
      path mentionned<br>
      above at first point.<br>
      <br>
      Finally execute the following command :<br>
      <br>
      # dpkg-reconfigure virtualbox-dkms<br>
      <br>
      And everything will work fine.<br>
      <br>
      <br>
      <br>
      -- System Information:<br>
      Debian Release: buster/sid<br>
        APT prefers unstable<br>
        APT policy: (520, 'unstable'), (510, 'testing'), (500,
      'stable'), (1, 'experimental')<br>
      Architecture: amd64 (x86_64)<br>
      <br>
      Kernel: Linux 4.11.0-1-amd64 (SMP w/4 CPU cores)<br>
      Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8),
      LANGUAGE=fr_FR.UTF-8 (charmap=UTF-8)<br>
      Shell: /bin/sh linked to /usr/bin/dash<br>
      Init: systemd (via /run/systemd/system)<br>
      <br>
      Versions of packages virtualbox-dkms depends on:<br>
      ii  dkms  2.3-3<br>
      <br>
      Versions of packages virtualbox-dkms recommends:<br>
      ii  virtualbox  5.1.22-dfsg-3<br>
      <br>
      virtualbox-dkms suggests no packages.<br>
      <br>
      -- no debconf information<br>
      <br>
    </p>
    <div class="moz-signature">-- <br>
      <b>Goran LAZAREVIC</b></div>
  </body>
</html>