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