VBS_BASIC_ENCLAVE_BASIC_CALL_INTERRUPT_THREAD

INT VBS_BASIC_ENCLAVE_BASIC_CALL_INTERRUPT_THREAD(
    VBS_BASIC_ENCLAVE_THREAD_DESCRIPTOR32* ThreadDescriptor
);