Subject: Re: [bug#59003] [PATCH 2/7] linux-modules: Add support for listing PCI devices.

From: "pelzflorian (Florian Pelz)" <[email-masked]>
Date: Sat, 05 Nov 2022 16:21:17 +0100

Ludovic Courtès <[email-masked]> writes:

> * gnu/build/linux-modules.scm (<pci-device>): New record type.
> (pci-device-class-predicate, storage-pci-device?, network-pci-device?)
> (display-pci-device?, pci-devices?): New procedures.

The last procedure is called pci-devices without question mark.

Regards,
Florian