K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2016-10-20T20:29:54.887793Z
K 7
svn:log
V 136
Tidy up ia32_sysvec sv_flags setting

Use the same approach as sys/arm/arm/elf_machdep.c to avoid an odd-
looking , on a separate line.

END