Re: [PATCH 5/6] device assignment: support for assigning PCI devices to guests

[Mark McLoughlin <markmc@redhat.com>]

On Wed, 2008-10-29 at 12:31 +0200, Muli Ben-Yehuda wrote:
> On Tue, Oct 28, 2008 at 04:55:22PM +0000, Mark McLoughlin wrote:
> > On Tue, 2008-10-28 at 12:06 +0200, muli@il.ibm.com wrote:

> > > +void assigned_dev_set_vector(int irq, int vector);
> > > +void assigned_dev_ack_mirq(int vector);
...
> > > +extern const char *assigned_devices[MAX_DEV_ASSIGN_CMDLINE];
> > > +extern int assigned_devices_index;
> > 
> > Neither of these two are implemented anywhere.
> 
> Actually they are, we use them to pass the arguments from main to
> pc.c.

Heh, sorry ... I added the comment in the wrong place :-)

assigned_dev_{set_vector,ack_mirq} aren't implemented anywhere

Cheers,
Mark.