devinfo_acpi_add
static HalDevice *devinfo_acpi_add(HalDevice *, di_node_t, char *, char *);
devinfo_acpi_add,