K 10
svn:author
V 4
jake
K 8
svn:date
V 27
2003-04-28T20:35:36.000000Z
K 7
svn:log
V 188
Use inlines for loading and storing page table entries.  Use cmpxchg8b for
the PAE case to ensure idempotent 64 bit loads and stores.

Sponsored by:	DARPA, Network Associates Laboratories

END