pub const VBS_ENCLAVE_VARDATA_INVALID: u32 = 0u32;