CASTPTR
*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);
return CASTPTR(void,
return CASTPTR(void,
*CASTPTR(volatile TYPE##_t, addr) = val; \
return *CASTPTR(volatile TYPE##_t, addr); \