pub const SGX_FLAGS_AEX_NOTIFY: u32 = 1024;