__pthread_start_data Struct Reference

Public Attributes
__ESBMC_thread_start_func_type	func
void *	start_arg

Member Data Documentation

func

__ESBMC_thread_start_func_type __pthread_start_data::func

start_arg

void* __pthread_start_data::start_arg

---

The documentation for this struct was generated from the following file:

• src/c2goto/library/pthread_lib.c