CVMX_SCRATCH_BASE
*CASTPTR(volatile uint8_t, CVMX_SCRATCH_BASE + address) =
*CASTPTR(volatile uint16_t, CVMX_SCRATCH_BASE + address) =
*CASTPTR(volatile uint32_t, CVMX_SCRATCH_BASE + address) =
*CASTPTR(volatile uint64_t, CVMX_SCRATCH_BASE + address) = value;
return *CASTPTR(volatile uint8_t, CVMX_SCRATCH_BASE + address);
return *CASTPTR(volatile uint16_t, CVMX_SCRATCH_BASE + address);
return *CASTPTR(volatile uint32_t, CVMX_SCRATCH_BASE + address);
return *CASTPTR(volatile uint64_t, CVMX_SCRATCH_BASE + address);