Какой идентификатор шины PCI равен 0x1?

Мне нужно найти, что подключено к шине с идентификатором 0x1. В Linux я получил идентификаторы шин в другом формате, например 00:01.0. Я думаю, это одно и то же, просто в первом случае вместо ':' используется x. Значение идентификатора шины 0x1=00:01.0. Я прав? Если нет, то каким будет 0x1 в формате, который я использовал?lspci?