VBS_BASIC_ENCLAVE_BASIC_CALL_TERMINATE_THREAD

INT VBS_BASIC_ENCLAVE_BASIC_CALL_TERMINATE_THREAD(
    VBS_BASIC_ENCLAVE_THREAD_DESCRIPTOR32* ThreadDescriptor
);