tpmtis_get_SIRQ_channel
tpmtis_get_SIRQ_channel, (void *)sc);
static ACPI_STATUS tpmtis_get_SIRQ_channel(ACPI_RESOURCE *res, void *arg);