@@ -233,7 +233,6 @@ VMKAPI_MODULE_CALL_VOID(pciDevExt->moduleID,
can by found by running <code>objdump -x</code> on the un-vmtar'ed
<code>vmklinux_9</code> module. Note the following output in the “SYMBOL
TABLE” section:
<pre>
0000000000000000 *UND* 0000000000000000 vmk_PCIGetDeviceName
</pre>