Constant simics_api_sys::HAVE_PTHREAD_H

pub const HAVE_PTHREAD_H: u32 = 1;