swapu32
uint32_t (*swapu32)(volatile uint32_t *, uint32_t v);
pmap->swapu32 = std_swapu32;
return curthread->td_proc->p_vmspace->vm_pmap.swapu32(base, v);
uint32_t swapu32(volatile uint32_t *p, uint32_t val);