Constant intel_tee_quote_verification_sys::SGX_KEYPOLICY_NOISVPRODID

pub const SGX_KEYPOLICY_NOISVPRODID: u32 = 4;