K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-07-30T14:25:17.794134Z
K 7
svn:log
V 195
Ensure the DPCPU and VNET module spaces are aligned to hold a pointer.
Previously they may have been aligned to a char, leading to misaligned
DPCPU and VNET variables.

Sponsored by:	DARPA, AFRL

END