thread_destroy

Declaration

void (*thread_destroy)(void *vcpu);