Symbol: std_fuwordadd64
sys/platform/pc64/x86_64/pmap.c
2287
pmap->fuwordadd64 = std_fuwordadd64;
sys/platform/pc64/x86_64/pmap.c
350
extern uint64_t std_fuwordadd64 (volatile uint64_t *base, uint64_t v);