swapu64
uint64_t (*swapu64)(volatile uint64_t *, uint64_t v);
pmap->swapu64 = std_swapu64;
return curthread->td_proc->p_vmspace->vm_pmap.swapu64(base, v);
uint64_t swapu64(volatile uint64_t *p, uint64_t val);