K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2018-06-30T14:55:47.177238Z
K 7
svn:log
V 86
MFC r333087 (by cem):
amd64/mp_machdep.c: Fix GCC build after r333059.

Noted by:	bde

END