51 static inline uint8_t cvmx_scratch_read8(uint64_t address)  in cvmx_scratch_read8()  argument
53 	return *CASTPTR(volatile uint8_t, CVMX_SCRATCH_BASE + address);  in cvmx_scratch_read8()
63 static inline uint16_t cvmx_scratch_read16(uint64_t address)  in cvmx_scratch_read16()  argument
65 	return *CASTPTR(volatile uint16_t, CVMX_SCRATCH_BASE + address);  in cvmx_scratch_read16()
75 static inline uint32_t cvmx_scratch_read32(uint64_t address)  in cvmx_scratch_read32()  argument
77 	return *CASTPTR(volatile uint32_t, CVMX_SCRATCH_BASE + address);  in cvmx_scratch_read32()
87 static inline uint64_t cvmx_scratch_read64(uint64_t address)  in cvmx_scratch_read64()  argument
89 	return *CASTPTR(volatile uint64_t, CVMX_SCRATCH_BASE + address);  in cvmx_scratch_read64()
98 static inline void cvmx_scratch_write8(uint64_t address, uint64_t value)  in cvmx_scratch_write8()  argument
100 	*CASTPTR(volatile uint8_t, CVMX_SCRATCH_BASE + address) =  in cvmx_scratch_write8()
110 static inline void cvmx_scratch_write16(uint64_t address, uint64_t value)  in cvmx_scratch_write16()  argument
112 	*CASTPTR(volatile uint16_t, CVMX_SCRATCH_BASE + address) =  in cvmx_scratch_write16()
122 static inline void cvmx_scratch_write32(uint64_t address, uint64_t value)  in cvmx_scratch_write32()  argument
124 	*CASTPTR(volatile uint32_t, CVMX_SCRATCH_BASE + address) =  in cvmx_scratch_write32()
134 static inline void cvmx_scratch_write64(uint64_t address, uint64_t value)  in cvmx_scratch_write64()  argument
136 	*CASTPTR(volatile uint64_t, CVMX_SCRATCH_BASE + address) = value;  in cvmx_scratch_write64()