fuwordadd32
value = fuwordadd32(uptr, 0);
if (fuwordadd32(uptr, 0) != uap->value) {
value = fuwordadd32(uptr, 0);
value = fuwordadd32(uptr, 0);
uint32_t (*fuwordadd32)(volatile uint32_t *, uint32_t v);
pmap->fuwordadd32 = std_fuwordadd32;
return curthread->td_proc->p_vmspace->vm_pmap.fuwordadd32(base, v);
uint32_t fuwordadd32(volatile uint32_t *p, uint32_t val);