namespace OpenTK.Graphics.ES31 { public enum WaitSyncFlags }
The selected framework does not have platform annotations.