Constant ENCLAVE_VBS_BASIC_KEY_FLAG_DEBUG_KEY 

pub const ENCLAVE_VBS_BASIC_KEY_FLAG_DEBUG_KEY: u32 = 8u32;