Record device property types, and provide a list of properties at device
registration time.

Add a "device" property type that holds a reference to annother device.
Signed-off-by: NPaul Brook <paul@codesourcery.com>

is redundant with DeviceState->type->name
Signed-off-by: NGerd Hoffmann <kraxel@redhat.com>

We have both IRQ sinks and GPIO inputs.  These are in principle exactly
the same thing, so remove the former.
Signed-off-by: NPaul Brook <paul@codesourcery.com>

Implement and use a common device bus state.  The main side-effect is
that creating a bus and attaching it to a parent device are no longer
separate operations.  For legacy code we allow a NULL parent, but that
should go away eventually.

Also tweak creation code to veriry theat a device in on the right bus.
Signed-off-by: NPaul Brook <paul@codesourcery.com>

I apparently failed to do this properly on the first attempt.
Signed-off-by: NPaul Brook <paul@codesourcery.com>

Signed-off-by: NPaul Brook <paul@codesourcery.com>

Signed-off-by: NPaul Brook <paul@codesourcery.com>

Signed-off-by: NPaul Brook <paul@codesourcery.com>

Signed-off-by: NPaul Brook <paul@codesourcery.com>