suword32_nosmap
int suword32_nosmap(volatile void *base, int32_t word);
suword32_smap : suword32_nosmap);