esp_idf_sys

Constant XCHAL_KERNEL_VECOFS

Source 
pub const XCHAL_KERNEL_VECOFS: u32 = 768;