gicv5_add_child
if (!gicv5_add_child(dev, &di->di_base)) {
bool gicv5_add_child(device_t, struct gicv5_devinfo *);