device_acpi_register
void device_acpi_register(device_t, void *);
device_acpi_register(dev, aux);
__weak_alias(device_acpi_register, x86_nullop);