pub type __cpu_simple_lock_nv_t = c_uchar;