Constant intel_tee_quote_verification_sys::SGX_FLAGS_PROVISION_KEY

pub const SGX_FLAGS_PROVISION_KEY: u32 = 16;