K 10
svn:author
V 3
kib
K 8
svn:date
V 27
2015-08-12T09:46:39.803943Z
K 7
svn:log
V 314
Initialization of smp_tlb_wait does not require release semantic, no
data is synchronized by store/load to the variable.  The
lapic_write_icr() function ensures that store buffers are flushed
before IPI command is issued.

Discussed with:	bde
Tested by:	pho
Sponsored by:	The FreeBSD Foundation
MFC after:	2 weeks

END