K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2012-09-08T18:29:53.154792Z
K 7
svn:log
V 135
Move PT_UPDATED_FLUSH() before td_locks check in order to have more
coverage also in the XEN case.

Reviewed by:	kib
MFC after:	1 week

END