K 10 svn:author V 6 cherry K 8 svn:date V 27 2013-10-10T16:31:47.972458Z K 7 svn:log V 97 Cosmetic changes to make this closer to i386/include/xen/xen-os.h Approved by: gibbs (implicit) END