ifpga_attach
static void ifpga_attach (device_t, device_t, void *);
ifpga_match, ifpga_attach, NULL, NULL);