pub const SGX_KEYSELECT_EINITTOKEN: u32 = 0;