user/vmm/include/vmm/virtio_rng.h

#pragma once
/* This header is BSD licensed so anyone can use the definitions to implement
 * compatible drivers/servers. */
#include <vmm/virtio_ids.h>
#include <vmm/virtio_config.h>