ax-kspin 0.3.17

Spinlocks used for kernel space that can disable preemption or IRQs in the critical section.
Documentation
use axtest::prelude::*;

#[axtest]
fn kspin_rwlock_constants_hold() {
    ax_assert!(crate::rwlock::rwlock_constants_hold_for_test());
}

#[axtest]
fn kspin_rwlock_state_logic_hold() {
    ax_assert!(crate::rwlock::rwlock_state_logic_hold_for_test());
}

#[axtest]
fn kspin_rwlock_constants_and_phantom_hold() {
    ax_assert!(crate::rwlock::rwlock_constants_and_phantom_hold_for_test());
}

#[axtest]
fn kspin_rwlock_state_transitions_hold() {
    ax_assert!(crate::rwlock::rwlock_state_transitions_hold_for_test());
}

#[axtest]
fn kspin_rwlock_guard_types_hold() {
    ax_assert!(crate::rwlock::rwlock_guard_types_hold_for_test());
}

#[axtest]
fn kspin_rwlock_lockdep_and_feature_config_hold() {
    ax_assert!(crate::rwlock::rwlock_lockdep_and_feature_config_hold_for_test());
}

#[axtest]
fn kspin_rwlock_reader_writer_state_combinations_hold() {
    ax_assert!(crate::rwlock::rwlock_reader_writer_state_combinations_hold_for_test());
}