pub type sys_thread_core_lock_t = u32;