sm_ifpga_attach
static void sm_ifpga_attach(device_t, device_t, void *);
sm_ifpga_attach, NULL, NULL);