static void tpm_backend_worker_thread(gpointer data, gpointer user_data)

{

    TPMBackend *s = TPM_BACKEND(user_data);

    TPMBackendClass *k = TPM_BACKEND_GET_CLASS(s);



    assert(k->handle_request != NULL);

    k->handle_request(s, (TPMBackendCmd *)data);



    qemu_bh_schedule(s->bh);

}

static void tpm_backend_worker_thread(gpointer data, gpointer user_data)

{

    TPMBackend *s = TPM_BACKEND(user_data);

    TPMBackendClass *k = TPM_BACKEND_GET_CLASS(s);



    assert(k->handle_request != NULL);

    k->handle_request(s, (TPMBackendCmd *)data);



    qemu_bh_schedule(s->bh);

}

    assert(k->handle_request != NULL);
static void FUNC_0(gpointer VAR_0, gpointer VAR_1)

{

    TPMBackend *s = TPM_BACKEND(VAR_1);

    TPMBackendClass *k = TPM_BACKEND_GET_CLASS(s);



    assert(k->handle_request != NULL);

    k->handle_request(s, (TPMBackendCmd *)VAR_0);



    qemu_bh_schedule(s->bh);

}

static void FUNC_0(gpointer VAR_0, gpointer VAR_1)
{ TPMBackend *s = TPM_BACKEND(VAR_1); TPMBackendClass *k = TPM_BACKEND_GET_CLASS(s); assert(k->handle_request != NULL); k->handle_request(s, (TPMBackendCmd *)VAR_0); qemu_bh_schedule(s->bh); }