tpm_acpi_attach
static void tpm_acpi_attach(device_t, device_t, void *);
tpm_acpi_attach, NULL, NULL);