fix(tunable): pci id are hex.

This commit is contained in:
Alexandre Pujol 2023-09-05 23:23:06 +01:00
parent cad27a3f78
commit 19c1bcc2c7
No known key found for this signature in database
GPG Key ID: C5469996F0DF68EC

View File

@ -34,8 +34,8 @@
@{hex}=@{h}*@{h}
# Shortcut for PCI device
@{pci_id}=[0-9][0-9][0-9][0-9]:[0-9][0-9]:[0-9a-f][0-9a-f].[0-9]
@{pci_bus}=pci[0-9][0-9][0-9][0-9]:[0-9][0-9]
@{pci_id}=@{h}@{h}@{h}@{h}:@{h}@{h}:@{h}@{h}.@{h}
@{pci_bus}=pci@{h}@{h}@{h}@{h}:@{h}@{h}
@{pci}=@{pci_bus}/@{pci_id}{,/@{pci_id}}{,/@{pci_bus}/@{pci_id}{,/@{pci_id}}}
# Date and time