我有以下英特尔处理器4th Generation Core Processor (Haswell U/Y)。我想检查PMBASE处理器中寄存器的值。为此，我下载了处理器数据表，我发现它PMBASE存在于 B:D:F 处0:1:0。这是屏幕截图

下面提到了设备的 VID 和 DID（来自同一数据表）

但是，现在当我在lspci我的 linux 机器上进行操作时，我没有看到 device 0:1:0。我什至用chipsec工具检查过。即使在那里我也没有看到任何带有 device id 的设备0x0c01。
为什么会出现这种差异？