@@ -230,13 +230,12 @@ VMKAPI_MODULE_CALL_VOID(pciDevExt->moduleID,
anywhere in the source release.</p>
<p>Further evidence that the implementation of this function occurs elsewhere
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>
…and the following lines found in the “RELOCATION RECORDS FOR
[.text]” section: