Constant esp_idf_sys::DEFAULT_RSTVEC

pub const DEFAULT_RSTVEC: u32 = 4096;