Symbol: xmi_mainbus_attach