Constant USER_CET_ENVIRONMENT_VBS_ENCLAVE

pub const USER_CET_ENVIRONMENT_VBS_ENCLAVE: u32 = 16;