xen_mainbus_attach
xen_mainbus_attach(parent, self, aux);
void xen_mainbus_attach(device_t, device_t, void *);