example below is not necessarily regarding

       Hellwig's copyrights; VMware incorporated Linux code copyrighted by

       many others as well into their kernel.</p>

       <h3>Example of &ldquo;vmkernel&rdquo;'s combination with Linux code</h3>

       <p>Our example begins with examination of the file

           called <code>vmkdrivers/src_92/vmklinux_92/vmware/linux_pci.c</code>,

           which can be found in the “Open Source” release for

           ESXi 5.5.0 Update 2 (5.5U2).  A small excerpt from that file, found in the

           function <code>LinuxPCIDeviceRemoved()</code>, reads as follows:</p>

<pre>

[...]

/*

 * This function [...] is modelled after pci_remove_device, the function which would

 * be called in a linux system.

 */

static void

LinuxPCIDeviceRemoved(vmk_PCIDevice vmkDev)

{

   LinuxPCIDevExt *pciDevExt;

   struct pci_dev *linuxDev;

[...]

  if (unlikely(