write_dsdt
write_dsdt(fd, rsdt, dsdp);
write_dsdt(fd, rsdt, dsdp);
if (dev->emul->write_dsdt != NULL) {
BASL_EXEC(dev->emul->write_dsdt(dev));
int (*write_dsdt)(const struct acpi_device *dev);
.write_dsdt = tpm_write_dsdt,