atomic_swap_64_i586
return (atomic_swap_64_i586(p, v));
#define pte_load_store(ptep, pte) atomic_swap_64_i586(ptep, pte)
#define pte_load_clear(ptep) atomic_swap_64_i586(ptep, 0)