pub const SGX_FLAGS_PROVISION_KEY: u32 = 16;