2#include "pedigree/kernel/machine/Device.h"
3#include "pedigree/kernel/utilities/List.h"
6#include "modules/Module.h"
16 Device::searchByVendorIdAndDeviceId(0x1af4, 0x1044, collect);
17 Device::searchByVendorIdAndDeviceId(0x1af4, 0x1005, collect);
19 while (candidates.
count()) {
21 seeded |= rng.seedKernel();
29MODULE_INFO(
"virtio-rng", &entry, &exit,
"pci",
"virtio-pci");
void pushBack(const T &value)