Symbol: xen_mainbus_attach_args