Constant intel_tee_quote_verification_sys::MAX_SA_NUMBER_PER_TCB

pub const MAX_SA_NUMBER_PER_TCB: u32 = 20;