/* The layout of the device page is a "struct lguest_device_desc" followed by a number of virtqueue descriptors, then two sets of feature bits, then an array of configuration bytes. This routine returns the configuration pointer.  */
static u8* device_config(const struct device *dev)
/* The layout of the device page is a "struct lguest_device_desc" followed by a number of virtqueue descriptors, then two sets of feature bits, then an array of configuration bytes. This routine returns the configuration pointer.  */
static u8* device_config(const struct device *dev)
{
	return (void *)(dev->desc + 1)
		+ dev->num_vq * sizeof(struct lguest_vqconfig)
		+ dev->feature_len * 2;
}