Constant USER_CET_ENVIRONMENT_VBS_BASIC_ENCLAVE

pub const USER_CET_ENVIRONMENT_VBS_BASIC_ENCLAVE: u32 = 17;