jake d33371fd63 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
2003-04-28 20:35:36 +00:00
..
2003-04-15 03:11:03 +00:00
2002-12-16 23:25:12 +00:00
2003-04-17 22:17:28 +00:00