pub const SGX_KEYSELECT_PROVISION_SEAL: u32 = 2;