Function kernel::arch::__sync_lock_release

pub fn __sync_lock_release(a: &u32)