linux-vybrid_public/include/linux/virtio_rng.h

#ifndef _LINUX_VIRTIO_RNG_H
#define _LINUX_VIRTIO_RNG_H
/* This header is BSD licensed so anyone can use the definitions to implement
 * compatible drivers/servers. */
#include <linux/virtio_config.h>

/* The ID for virtio_rng */
#define VIRTIO_ID_RNG	4

#endif /* _LINUX_VIRTIO_RNG_H */