# CONFIG_RUST_EXTRA_LOCKDEP is not set