diff --git a/Cargo.toml b/Cargo.toml index c517d012..5d53caae 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -47,3 +47,6 @@ pre-release-commit-message = "Bump version to {{version}}" push = false publish = false tag = false + +[lints.rust] +unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] } diff --git a/src/instructions/interrupts.rs b/src/instructions/interrupts.rs index 80102cf4..84c00f84 100644 --- a/src/instructions/interrupts.rs +++ b/src/instructions/interrupts.rs @@ -146,10 +146,6 @@ pub fn int3() { /// It can also cause memory/register corruption depending on the interrupt /// implementation (if it expects values/pointers to be passed in registers). #[cfg(feature = "asm_const")] -#[cfg_attr( - feature = "doc_cfg", - doc(cfg(any(feature = "nightly", feature = "asm_const"))) -)] pub unsafe fn software_interrupt() { unsafe { asm!("int {num}", num = const NUM, options(nomem, nostack));