Constant VBS_ENCLAVE_VARDATA_MODULE 

pub const VBS_ENCLAVE_VARDATA_MODULE: u32 = 1u32;