gemini_ipi_attach
static void gemini_ipi_attach(device_t, device_t, void *);
gemini_ipi_match, gemini_ipi_attach, NULL, NULL);