#[no_mangle] pub unsafe extern "C" fn sys_spinlock_destroy( lock: *mut SpinlockContainer<'_>, ) -> i32