Jake Burkholder 14ce5bd49b 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-21 16:44:05 +00:00
2003-04-25 15:59:44 +00:00