Symbol: std_swapu64
sys/platform/pc64/x86_64/pmap.c
2285
pmap->swapu64 = std_swapu64;
sys/platform/pc64/x86_64/pmap.c
348
extern uint64_t std_swapu64 (volatile uint64_t *base, uint64_t v);