armadillo9pcic_attach
static void armadillo9pcic_attach(device_t, device_t, void *);
armadillo9pcic_match, armadillo9pcic_attach, NULL, NULL);