gic_fdt_attach
gic_fdt_match, gic_fdt_attach, NULL, NULL);
static void gic_fdt_attach(device_t, device_t, void *);