K 10
svn:author
V 2
br
K 8
svn:date
V 27
2017-08-16T13:44:46.242487Z
K 7
svn:log
V 110
Rename macro DEBUG to SGX_DEBUG.

This fixes LINT kernel build.

Reported by:	lwhsu
Sponsored by:	DARPA, AFRL

END