From 7feeedb1a3300be6e28694d54b7af67e3307071b Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Sat, 29 Dec 2018 00:01:25 +0100
Subject: [PATCH] klee-analysis (no-rt)
---
Cargo.toml | 18 +-
src/klee_statics/mod.rs | 79 ------
src/lib.rs | 525 ----------------------------------------
3 files changed, 10 insertions(+), 612 deletions(-)
delete mode 100644 src/klee_statics/mod.rs
diff --git a/Cargo.toml b/Cargo.toml
index c215a84..485c2ef 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -8,12 +8,14 @@ version = "0.3.0"
[patch.crates-io]
-cortex-m = { path = "../cortex-m" }
-volatile-register = { path = "../volatile-register" }
+volatile-register = { git = "https://gitlab.henriktjader.com/pln/volatile-register.git", branch = "klee-analysis" }
+#volatile-register = { path = "../../klee/volatile-register/" }
+cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "klee-analysis" }
+#cortex-m = { path = "../../cortex-m" }
[dependencies]
bare-metal = "0.2.4"
-vcell = "0.1.0"
+vcell = "0.2.0"
[dependencies.cortex-m]
version = "0.6.0"
@@ -22,11 +24,11 @@ version = "0.6.0"
optional = true
version = "0.6.5"
-[dependencies.klee]
-optional = true
-path = "../."
-#version = "0.6.5"
+#[dependencies.klee]
+#optional = true
+#path = "../."
+##version = "0.6.5"
[features]
rt = ["cortex-m-rt/device"]
-klee-analysis = ["klee", "cortex-m/klee-analysis"]
\ No newline at end of file
+klee-analysis = ["cortex-m/klee-analysis", "vcell/klee-analysis"]
\ No newline at end of file
diff --git a/src/klee_statics/mod.rs b/src/klee_statics/mod.rs
deleted file mode 100644
index 07c6883..0000000
--- a/src/klee_statics/mod.rs
+++ /dev/null
@@ -1,79 +0,0 @@
-use core::mem::MaybeUninit;
-pub static mut ADC1: MaybeUninit<::adc1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut CRC: MaybeUninit<::crc::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut DBG: MaybeUninit<::dbg::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut EXTI: MaybeUninit<::exti::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut FLASH: MaybeUninit<::flash::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut IWDG: MaybeUninit<::iwdg::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut PWR: MaybeUninit<::pwr::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut RCC: MaybeUninit<::rcc::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut RTC: MaybeUninit<::rtc::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SDIO: MaybeUninit<::sdio::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SYSCFG: MaybeUninit<::syscfg::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM1: MaybeUninit<::tim1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM8: MaybeUninit<::tim1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM10: MaybeUninit<::tim10::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM11: MaybeUninit<::tim11::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM2: MaybeUninit<::tim2::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM3: MaybeUninit<::tim3::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM4: MaybeUninit<::tim3::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM5: MaybeUninit<::tim5::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM9: MaybeUninit<::tim9::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut USART1: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut USART2: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut USART6: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut USART3: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut UART4: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut UART5: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut UART7: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut UART8: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut UART9: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut UART10: MaybeUninit<::usart1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut WWDG: MaybeUninit<::wwdg::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut DMA2: MaybeUninit<::dma2::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut DMA1: MaybeUninit<::dma2::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOH: MaybeUninit<::gpioh::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOE: MaybeUninit<::gpioh::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOD: MaybeUninit<::gpioh::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOC: MaybeUninit<::gpioh::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOF: MaybeUninit<::gpioh::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOG: MaybeUninit<::gpioh::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOB: MaybeUninit<::gpiob::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut GPIOA: MaybeUninit<::gpioa::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut I2C3: MaybeUninit<::i2c3::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut I2C2: MaybeUninit<::i2c3::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut I2C1: MaybeUninit<::i2c3::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut I2S2EXT: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut I2S3EXT: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SPI1: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SPI2: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SPI3: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SPI4: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SPI5: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SPI6: MaybeUninit<::i2s2ext::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut DFSDM1: MaybeUninit<::dfsdm1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut DFSDM2: MaybeUninit<::dfsdm1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM6: MaybeUninit<::tim6::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM7: MaybeUninit<::tim6::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM12: MaybeUninit<::tim12::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM13: MaybeUninit<::tim13::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut TIM14: MaybeUninit<::tim13::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut RNG: MaybeUninit<::rng::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut CAN1: MaybeUninit<::can1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut CAN2: MaybeUninit<::can1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut CAN3: MaybeUninit<::can1::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut FMPI2C: MaybeUninit<::fmpi2c::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut FSMC: MaybeUninit<::fsmc::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut OTG_FS_GLOBAL: MaybeUninit<::otg_fs_global::RegisterBlock> =
- MaybeUninit::uninitialized();
-pub static mut OTG_FS_HOST: MaybeUninit<::otg_fs_host::RegisterBlock> =
- MaybeUninit::uninitialized();
-pub static mut OTG_FS_DEVICE: MaybeUninit<::otg_fs_device::RegisterBlock> =
- MaybeUninit::uninitialized();
-pub static mut OTG_FS_PWRCLK: MaybeUninit<::otg_fs_pwrclk::RegisterBlock> =
- MaybeUninit::uninitialized();
-pub static mut QUADSPI: MaybeUninit<::quadspi::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut LPTIM: MaybeUninit<::lptim::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut DAC: MaybeUninit<::dac::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut SAI: MaybeUninit<::sai::RegisterBlock> = MaybeUninit::uninitialized();
-pub static mut AES: MaybeUninit<::aes::RegisterBlock> = MaybeUninit::uninitialized();
diff --git a/src/lib.rs b/src/lib.rs
index 8c54357..889e6f8 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -3,13 +3,10 @@
#![deny(warnings)]
#![allow(non_camel_case_types)]
#![no_std]
-#![cfg_attr(feature = "klee-analysis", feature(maybe_uninit))]
extern crate bare_metal;
extern crate cortex_m;
#[cfg(feature = "rt")]
extern crate cortex_m_rt;
-#[cfg(feature = "klee-analysis")]
-extern crate klee;
extern crate vcell;
use core::marker::PhantomData;
use core::ops::Deref;
@@ -605,10 +602,6 @@ pub use cortex_m::peripheral::Peripherals as CorePeripherals;
pub use cortex_m::peripheral::{CBP, CPUID, DCB, DWT, FPB, FPU, ITM, MPU, NVIC, SCB, SYST, TPIU};
#[cfg(feature = "rt")]
pub use cortex_m_rt::interrupt;
-#[cfg(feature = "klee-analysis")]
-use klee::ksymbol;
-#[cfg(feature = "klee-analysis")]
-mod klee_statics;
#[doc = "Analog-to-digital converter"]
pub struct ADC1 {
_marker: PhantomData<*const ()>,
@@ -616,13 +609,6 @@ pub struct ADC1 {
unsafe impl Send for ADC1 {}
impl ADC1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const adc1::RegisterBlock {
- ksymbol!(&mut *klee_statics::ADC1.get_mut(), "ADC1");
- unsafe { klee_statics::ADC1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const adc1::RegisterBlock {
1073815552 as *const _
}
@@ -642,13 +628,6 @@ pub struct CRC {
unsafe impl Send for CRC {}
impl CRC {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const crc::RegisterBlock {
- ksymbol!(&mut *klee_statics::CRC.get_mut(), "CRC");
- unsafe { klee_statics::CRC.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const crc::RegisterBlock {
1073885184 as *const _
}
@@ -668,13 +647,6 @@ pub struct DBG {
unsafe impl Send for DBG {}
impl DBG {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const dbg::RegisterBlock {
- ksymbol!(&mut *klee_statics::DBG.get_mut(), "DBG");
- unsafe { klee_statics::DBG.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const dbg::RegisterBlock {
3758366720 as *const _
}
@@ -694,13 +666,6 @@ pub struct EXTI {
unsafe impl Send for EXTI {}
impl EXTI {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const exti::RegisterBlock {
- ksymbol!(&mut *klee_statics::EXTI.get_mut(), "EXTI");
- unsafe { klee_statics::EXTI.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const exti::RegisterBlock {
1073822720 as *const _
}
@@ -720,13 +685,6 @@ pub struct FLASH {
unsafe impl Send for FLASH {}
impl FLASH {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const flash::RegisterBlock {
- ksymbol!(&mut *klee_statics::FLASH.get_mut(), "FLASH");
- unsafe { klee_statics::FLASH.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const flash::RegisterBlock {
1073888256 as *const _
}
@@ -746,13 +704,6 @@ pub struct IWDG {
unsafe impl Send for IWDG {}
impl IWDG {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const iwdg::RegisterBlock {
- ksymbol!(&mut *klee_statics::IWDG.get_mut(), "IWDG");
- unsafe { klee_statics::IWDG.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const iwdg::RegisterBlock {
1073754112 as *const _
}
@@ -772,13 +723,6 @@ pub struct PWR {
unsafe impl Send for PWR {}
impl PWR {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const pwr::RegisterBlock {
- ksymbol!(&mut *klee_statics::PWR.get_mut(), "PWR");
- unsafe { klee_statics::PWR.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const pwr::RegisterBlock {
1073770496 as *const _
}
@@ -798,13 +742,6 @@ pub struct RCC {
unsafe impl Send for RCC {}
impl RCC {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const rcc::RegisterBlock {
- ksymbol!(&mut *klee_statics::RCC.get_mut(), "RCC");
- unsafe { klee_statics::RCC.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const rcc::RegisterBlock {
1073887232 as *const _
}
@@ -824,13 +761,6 @@ pub struct RTC {
unsafe impl Send for RTC {}
impl RTC {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const rtc::RegisterBlock {
- ksymbol!(&mut *klee_statics::RTC.get_mut(), "RTC");
- unsafe { klee_statics::RTC.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const rtc::RegisterBlock {
1073752064 as *const _
}
@@ -850,13 +780,6 @@ pub struct SDIO {
unsafe impl Send for SDIO {}
impl SDIO {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const sdio::RegisterBlock {
- ksymbol!(&mut *klee_statics::SDIO.get_mut(), "SDIO");
- unsafe { klee_statics::SDIO.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const sdio::RegisterBlock {
1073818624 as *const _
}
@@ -876,13 +799,6 @@ pub struct SYSCFG {
unsafe impl Send for SYSCFG {}
impl SYSCFG {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const syscfg::RegisterBlock {
- ksymbol!(&mut *klee_statics::SYSCFG.get_mut(), "SYSCFG");
- unsafe { klee_statics::SYSCFG.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const syscfg::RegisterBlock {
1073821696 as *const _
}
@@ -902,13 +818,6 @@ pub struct TIM1 {
unsafe impl Send for TIM1 {}
impl TIM1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim1::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM1.get_mut(), "TIM1");
- unsafe { klee_statics::TIM1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim1::RegisterBlock {
1073807360 as *const _
}
@@ -928,13 +837,6 @@ pub struct TIM8 {
unsafe impl Send for TIM8 {}
impl TIM8 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim1::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM8.get_mut(), "TIM8");
- unsafe { klee_statics::TIM8.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim1::RegisterBlock {
1073808384 as *const _
}
@@ -952,13 +854,6 @@ pub struct TIM10 {
unsafe impl Send for TIM10 {}
impl TIM10 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim10::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM10.get_mut(), "TIM10");
- unsafe { klee_statics::TIM10.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim10::RegisterBlock {
1073824768 as *const _
}
@@ -978,13 +873,6 @@ pub struct TIM11 {
unsafe impl Send for TIM11 {}
impl TIM11 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim11::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM11.get_mut(), "TIM11");
- unsafe { klee_statics::TIM11.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim11::RegisterBlock {
1073825792 as *const _
}
@@ -1004,13 +892,6 @@ pub struct TIM2 {
unsafe impl Send for TIM2 {}
impl TIM2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim2::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM2.get_mut(), "TIM2");
- unsafe { klee_statics::TIM2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim2::RegisterBlock {
1073741824 as *const _
}
@@ -1030,13 +911,6 @@ pub struct TIM3 {
unsafe impl Send for TIM3 {}
impl TIM3 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim3::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM3.get_mut(), "TIM3");
- unsafe { klee_statics::TIM3.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim3::RegisterBlock {
1073742848 as *const _
}
@@ -1056,13 +930,6 @@ pub struct TIM4 {
unsafe impl Send for TIM4 {}
impl TIM4 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim3::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM4.get_mut(), "TIM4");
- unsafe { klee_statics::TIM4.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim3::RegisterBlock {
1073743872 as *const _
}
@@ -1080,13 +947,6 @@ pub struct TIM5 {
unsafe impl Send for TIM5 {}
impl TIM5 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim5::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM5.get_mut(), "TIM5");
- unsafe { klee_statics::TIM5.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim5::RegisterBlock {
1073744896 as *const _
}
@@ -1106,13 +966,6 @@ pub struct TIM9 {
unsafe impl Send for TIM9 {}
impl TIM9 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim9::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM9.get_mut(), "TIM9");
- unsafe { klee_statics::TIM9.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim9::RegisterBlock {
1073823744 as *const _
}
@@ -1132,13 +985,6 @@ pub struct USART1 {
unsafe impl Send for USART1 {}
impl USART1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::USART1.get_mut(), "USART1");
- unsafe { klee_statics::USART1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073811456 as *const _
}
@@ -1158,13 +1004,6 @@ pub struct USART2 {
unsafe impl Send for USART2 {}
impl USART2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::USART2.get_mut(), "USART2");
- unsafe { klee_statics::USART2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073759232 as *const _
}
@@ -1182,13 +1021,6 @@ pub struct USART6 {
unsafe impl Send for USART6 {}
impl USART6 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::USART6.get_mut(), "USART6");
- unsafe { klee_statics::USART6.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073812480 as *const _
}
@@ -1206,13 +1038,6 @@ pub struct USART3 {
unsafe impl Send for USART3 {}
impl USART3 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::USART3.get_mut(), "USART3");
- unsafe { klee_statics::USART3.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073760256 as *const _
}
@@ -1230,13 +1055,6 @@ pub struct UART4 {
unsafe impl Send for UART4 {}
impl UART4 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::UART4.get_mut(), "UART4");
- unsafe { klee_statics::UART4.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073761280 as *const _
}
@@ -1254,13 +1072,6 @@ pub struct UART5 {
unsafe impl Send for UART5 {}
impl UART5 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::UART5.get_mut(), "UART5");
- unsafe { klee_statics::UART5.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073762304 as *const _
}
@@ -1278,13 +1089,6 @@ pub struct UART7 {
unsafe impl Send for UART7 {}
impl UART7 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::UART7.get_mut(), "UART7");
- unsafe { klee_statics::UART7.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073772544 as *const _
}
@@ -1302,13 +1106,6 @@ pub struct UART8 {
unsafe impl Send for UART8 {}
impl UART8 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::UART8.get_mut(), "UART8");
- unsafe { klee_statics::UART8.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073773568 as *const _
}
@@ -1326,13 +1123,6 @@ pub struct UART9 {
unsafe impl Send for UART9 {}
impl UART9 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::UART9.get_mut(), "UART9");
- unsafe { klee_statics::UART9.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073813504 as *const _
}
@@ -1350,13 +1140,6 @@ pub struct UART10 {
unsafe impl Send for UART10 {}
impl UART10 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const usart1::RegisterBlock {
- ksymbol!(&mut *klee_statics::UART10.get_mut(), "UART10");
- unsafe { klee_statics::UART10.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const usart1::RegisterBlock {
1073814528 as *const _
}
@@ -1374,13 +1157,6 @@ pub struct WWDG {
unsafe impl Send for WWDG {}
impl WWDG {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const wwdg::RegisterBlock {
- ksymbol!(&mut *klee_statics::WWDG.get_mut(), "WWDG");
- unsafe { klee_statics::WWDG.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const wwdg::RegisterBlock {
1073753088 as *const _
}
@@ -1400,13 +1176,6 @@ pub struct DMA2 {
unsafe impl Send for DMA2 {}
impl DMA2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const dma2::RegisterBlock {
- ksymbol!(&mut *klee_statics::DMA2.get_mut(), "DMA2");
- unsafe { klee_statics::DMA2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const dma2::RegisterBlock {
1073898496 as *const _
}
@@ -1426,13 +1195,6 @@ pub struct DMA1 {
unsafe impl Send for DMA1 {}
impl DMA1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const dma2::RegisterBlock {
- ksymbol!(&mut *klee_statics::DMA1.get_mut(), "DMA1");
- unsafe { klee_statics::DMA1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const dma2::RegisterBlock {
1073897472 as *const _
}
@@ -1450,13 +1212,6 @@ pub struct GPIOH {
unsafe impl Send for GPIOH {}
impl GPIOH {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioh::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOH.get_mut(), "GPIOH");
- unsafe { klee_statics::GPIOH.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioh::RegisterBlock {
1073880064 as *const _
}
@@ -1476,13 +1231,6 @@ pub struct GPIOE {
unsafe impl Send for GPIOE {}
impl GPIOE {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioh::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOE.get_mut(), "GPIOE");
- unsafe { klee_statics::GPIOE.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioh::RegisterBlock {
1073876992 as *const _
}
@@ -1500,13 +1248,6 @@ pub struct GPIOD {
unsafe impl Send for GPIOD {}
impl GPIOD {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioh::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOD.get_mut(), "GPIOD");
- unsafe { klee_statics::GPIOD.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioh::RegisterBlock {
1073875968 as *const _
}
@@ -1524,13 +1265,6 @@ pub struct GPIOC {
unsafe impl Send for GPIOC {}
impl GPIOC {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioh::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOC.get_mut(), "GPIOC");
- unsafe { klee_statics::GPIOC.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioh::RegisterBlock {
1073874944 as *const _
}
@@ -1548,13 +1282,6 @@ pub struct GPIOF {
unsafe impl Send for GPIOF {}
impl GPIOF {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioh::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOF.get_mut(), "GPIOF");
- unsafe { klee_statics::GPIOF.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioh::RegisterBlock {
1073878016 as *const _
}
@@ -1572,13 +1299,6 @@ pub struct GPIOG {
unsafe impl Send for GPIOG {}
impl GPIOG {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioh::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOG.get_mut(), "GPIOG");
- unsafe { klee_statics::GPIOG.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioh::RegisterBlock {
1073879040 as *const _
}
@@ -1596,13 +1316,6 @@ pub struct GPIOB {
unsafe impl Send for GPIOB {}
impl GPIOB {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpiob::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOB.get_mut(), "GPIOB");
- unsafe { klee_statics::GPIOB.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpiob::RegisterBlock {
1073873920 as *const _
}
@@ -1622,13 +1335,6 @@ pub struct GPIOA {
unsafe impl Send for GPIOA {}
impl GPIOA {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const gpioa::RegisterBlock {
- ksymbol!(&mut *klee_statics::GPIOA.get_mut(), "GPIOA");
- unsafe { klee_statics::GPIOA.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const gpioa::RegisterBlock {
1073872896 as *const _
}
@@ -1648,13 +1354,6 @@ pub struct I2C3 {
unsafe impl Send for I2C3 {}
impl I2C3 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2c3::RegisterBlock {
- ksymbol!(&mut *klee_statics::I2C3.get_mut(), "I2C3");
- unsafe { klee_statics::I2C3.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2c3::RegisterBlock {
1073765376 as *const _
}
@@ -1674,13 +1373,6 @@ pub struct I2C2 {
unsafe impl Send for I2C2 {}
impl I2C2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2c3::RegisterBlock {
- ksymbol!(&mut *klee_statics::I2C2.get_mut(), "I2C2");
- unsafe { klee_statics::I2C2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2c3::RegisterBlock {
1073764352 as *const _
}
@@ -1698,13 +1390,6 @@ pub struct I2C1 {
unsafe impl Send for I2C1 {}
impl I2C1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2c3::RegisterBlock {
- ksymbol!(&mut *klee_statics::I2C1.get_mut(), "I2C1");
- unsafe { klee_statics::I2C1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2c3::RegisterBlock {
1073763328 as *const _
}
@@ -1722,13 +1407,6 @@ pub struct I2S2EXT {
unsafe impl Send for I2S2EXT {}
impl I2S2EXT {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::I2S2EXT.get_mut(), "I2S2EXT");
- unsafe { klee_statics::I2S2EXT.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073755136 as *const _
}
@@ -1748,13 +1426,6 @@ pub struct I2S3EXT {
unsafe impl Send for I2S3EXT {}
impl I2S3EXT {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::I2S3EXT.get_mut(), "I2S3EXT");
- unsafe { klee_statics::I2S3EXT.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073758208 as *const _
}
@@ -1772,13 +1443,6 @@ pub struct SPI1 {
unsafe impl Send for SPI1 {}
impl SPI1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::SPI1.get_mut(), "SPI1");
- unsafe { klee_statics::SPI1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073819648 as *const _
}
@@ -1796,13 +1460,6 @@ pub struct SPI2 {
unsafe impl Send for SPI2 {}
impl SPI2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::SPI2.get_mut(), "SPI2");
- unsafe { klee_statics::SPI2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073756160 as *const _
}
@@ -1820,13 +1477,6 @@ pub struct SPI3 {
unsafe impl Send for SPI3 {}
impl SPI3 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::SPI3.get_mut(), "SPI3");
- unsafe { klee_statics::SPI3.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073757184 as *const _
}
@@ -1844,13 +1494,6 @@ pub struct SPI4 {
unsafe impl Send for SPI4 {}
impl SPI4 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::SPI4.get_mut(), "SPI4");
- unsafe { klee_statics::SPI4.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073820672 as *const _
}
@@ -1868,13 +1511,6 @@ pub struct SPI5 {
unsafe impl Send for SPI5 {}
impl SPI5 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::SPI5.get_mut(), "SPI5");
- unsafe { klee_statics::SPI5.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073827840 as *const _
}
@@ -1892,13 +1528,6 @@ pub struct SPI6 {
unsafe impl Send for SPI6 {}
impl SPI6 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const i2s2ext::RegisterBlock {
- ksymbol!(&mut *klee_statics::SPI6.get_mut(), "SPI6");
- unsafe { klee_statics::SPI6.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const i2s2ext::RegisterBlock {
1073828864 as *const _
}
@@ -1916,13 +1545,6 @@ pub struct DFSDM1 {
unsafe impl Send for DFSDM1 {}
impl DFSDM1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const dfsdm1::RegisterBlock {
- ksymbol!(&mut *klee_statics::DFSDM1.get_mut(), "DFSDM1");
- unsafe { klee_statics::DFSDM1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const dfsdm1::RegisterBlock {
1073831936 as *const _
}
@@ -1942,13 +1564,6 @@ pub struct DFSDM2 {
unsafe impl Send for DFSDM2 {}
impl DFSDM2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const dfsdm1::RegisterBlock {
- ksymbol!(&mut *klee_statics::DFSDM2.get_mut(), "DFSDM2");
- unsafe { klee_statics::DFSDM2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const dfsdm1::RegisterBlock {
1073832960 as *const _
}
@@ -1966,13 +1581,6 @@ pub struct TIM6 {
unsafe impl Send for TIM6 {}
impl TIM6 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim6::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM6.get_mut(), "TIM6");
- unsafe { klee_statics::TIM6.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim6::RegisterBlock {
1073745920 as *const _
}
@@ -1992,13 +1600,6 @@ pub struct TIM7 {
unsafe impl Send for TIM7 {}
impl TIM7 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim6::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM7.get_mut(), "TIM7");
- unsafe { klee_statics::TIM7.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim6::RegisterBlock {
1073746944 as *const _
}
@@ -2016,13 +1617,6 @@ pub struct TIM12 {
unsafe impl Send for TIM12 {}
impl TIM12 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim12::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM12.get_mut(), "TIM12");
- unsafe { klee_statics::TIM12.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim12::RegisterBlock {
1073747968 as *const _
}
@@ -2042,13 +1636,6 @@ pub struct TIM13 {
unsafe impl Send for TIM13 {}
impl TIM13 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim13::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM13.get_mut(), "TIM13");
- unsafe { klee_statics::TIM13.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim13::RegisterBlock {
1073748992 as *const _
}
@@ -2068,13 +1655,6 @@ pub struct TIM14 {
unsafe impl Send for TIM14 {}
impl TIM14 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const tim13::RegisterBlock {
- ksymbol!(&mut *klee_statics::TIM14.get_mut(), "TIM14");
- unsafe { klee_statics::TIM14.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const tim13::RegisterBlock {
1073750016 as *const _
}
@@ -2092,13 +1672,6 @@ pub struct RNG {
unsafe impl Send for RNG {}
impl RNG {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const rng::RegisterBlock {
- ksymbol!(&mut *klee_statics::RNG.get_mut(), "RNG");
- unsafe { klee_statics::RNG.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const rng::RegisterBlock {
1342572544 as *const _
}
@@ -2118,13 +1691,6 @@ pub struct CAN1 {
unsafe impl Send for CAN1 {}
impl CAN1 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const can1::RegisterBlock {
- ksymbol!(&mut *klee_statics::CAN1.get_mut(), "CAN1");
- unsafe { klee_statics::CAN1.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const can1::RegisterBlock {
1073767424 as *const _
}
@@ -2144,13 +1710,6 @@ pub struct CAN2 {
unsafe impl Send for CAN2 {}
impl CAN2 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const can1::RegisterBlock {
- ksymbol!(&mut *klee_statics::CAN2.get_mut(), "CAN2");
- unsafe { klee_statics::CAN2.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const can1::RegisterBlock {
1073768448 as *const _
}
@@ -2168,13 +1727,6 @@ pub struct CAN3 {
unsafe impl Send for CAN3 {}
impl CAN3 {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const can1::RegisterBlock {
- ksymbol!(&mut *klee_statics::CAN3.get_mut(), "CAN3");
- unsafe { klee_statics::CAN3.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const can1::RegisterBlock {
1073769472 as *const _
}
@@ -2192,13 +1744,6 @@ pub struct FMPI2C {
unsafe impl Send for FMPI2C {}
impl FMPI2C {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const fmpi2c::RegisterBlock {
- ksymbol!(&mut *klee_statics::FMPI2C.get_mut(), "FMPI2C");
- unsafe { klee_statics::FMPI2C.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const fmpi2c::RegisterBlock {
1073766400 as *const _
}
@@ -2218,13 +1763,6 @@ pub struct FSMC {
unsafe impl Send for FSMC {}
impl FSMC {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const fsmc::RegisterBlock {
- ksymbol!(&mut *klee_statics::FSMC.get_mut(), "FSMC");
- unsafe { klee_statics::FSMC.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const fsmc::RegisterBlock {
2684354560 as *const _
}
@@ -2244,13 +1782,6 @@ pub struct OTG_FS_GLOBAL {
unsafe impl Send for OTG_FS_GLOBAL {}
impl OTG_FS_GLOBAL {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const otg_fs_global::RegisterBlock {
- ksymbol!(&mut *klee_statics::OTG_FS_GLOBAL.get_mut(), "OTG_FS_GLOBAL");
- unsafe { klee_statics::OTG_FS_GLOBAL.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const otg_fs_global::RegisterBlock {
1342177280 as *const _
}
@@ -2270,13 +1801,6 @@ pub struct OTG_FS_HOST {
unsafe impl Send for OTG_FS_HOST {}
impl OTG_FS_HOST {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const otg_fs_host::RegisterBlock {
- ksymbol!(&mut *klee_statics::OTG_FS_HOST.get_mut(), "OTG_FS_HOST");
- unsafe { klee_statics::OTG_FS_HOST.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const otg_fs_host::RegisterBlock {
1342178304 as *const _
}
@@ -2296,13 +1820,6 @@ pub struct OTG_FS_DEVICE {
unsafe impl Send for OTG_FS_DEVICE {}
impl OTG_FS_DEVICE {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const otg_fs_device::RegisterBlock {
- ksymbol!(&mut *klee_statics::OTG_FS_DEVICE.get_mut(), "OTG_FS_DEVICE");
- unsafe { klee_statics::OTG_FS_DEVICE.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const otg_fs_device::RegisterBlock {
1342179328 as *const _
}
@@ -2322,13 +1839,6 @@ pub struct OTG_FS_PWRCLK {
unsafe impl Send for OTG_FS_PWRCLK {}
impl OTG_FS_PWRCLK {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const otg_fs_pwrclk::RegisterBlock {
- ksymbol!(&mut *klee_statics::OTG_FS_PWRCLK.get_mut(), "OTG_FS_PWRCLK");
- unsafe { klee_statics::OTG_FS_PWRCLK.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const otg_fs_pwrclk::RegisterBlock {
1342180864 as *const _
}
@@ -2348,13 +1858,6 @@ pub struct QUADSPI {
unsafe impl Send for QUADSPI {}
impl QUADSPI {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const quadspi::RegisterBlock {
- ksymbol!(&mut *klee_statics::QUADSPI.get_mut(), "QUADSPI");
- unsafe { klee_statics::QUADSPI.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const quadspi::RegisterBlock {
2684358656 as *const _
}
@@ -2374,13 +1877,6 @@ pub struct LPTIM {
unsafe impl Send for LPTIM {}
impl LPTIM {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const lptim::RegisterBlock {
- ksymbol!(&mut *klee_statics::LPTIM.get_mut(), "LPTIM");
- unsafe { klee_statics::LPTIM.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const lptim::RegisterBlock {
1073751040 as *const _
}
@@ -2400,13 +1896,6 @@ pub struct DAC {
unsafe impl Send for DAC {}
impl DAC {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const dac::RegisterBlock {
- ksymbol!(&mut *klee_statics::DAC.get_mut(), "DAC");
- unsafe { klee_statics::DAC.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const dac::RegisterBlock {
1073771520 as *const _
}
@@ -2426,13 +1915,6 @@ pub struct SAI {
unsafe impl Send for SAI {}
impl SAI {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const sai::RegisterBlock {
- ksymbol!(&mut *klee_statics::SAI.get_mut(), "SAI");
- unsafe { klee_statics::SAI.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const sai::RegisterBlock {
1073829888 as *const _
}
@@ -2452,13 +1934,6 @@ pub struct AES {
unsafe impl Send for AES {}
impl AES {
#[doc = r" Returns a pointer to the register block"]
- #[cfg(feature = "klee-analysis")]
- pub fn ptr() -> *const aes::RegisterBlock {
- ksymbol!(&mut *klee_statics::AES.get_mut(), "AES");
- unsafe { klee_statics::AES.get_ref() as *const _ }
- }
- #[doc = r" Returns a pointer to the register block"]
- #[cfg(not(feature = "klee-analysis"))]
pub fn ptr() -> *const aes::RegisterBlock {
1342570496 as *const _
}
--
GitLab