1 /* { dg-options "-O2" } */ 2 3 typedef __INTPTR_TYPE__ intptr_t; 4 typedef unsigned long long uint64_t; 5 extern void linker_error (void); 6 cvmx_write64_uint64(uint64_t addr,uint64_t val)7static inline void cvmx_write64_uint64(uint64_t addr, uint64_t val) 8 { 9 *(volatile uint64_t *)(intptr_t)addr = val; 10 }; cvmx_read64_uint64(uint64_t addr)11static inline uint64_t cvmx_read64_uint64(uint64_t addr) 12 { 13 return *(volatile uint64_t *)(intptr_t)addr; 14 }; 15 cvmx_write_csr(uint64_t csr_addr,uint64_t val)16static inline void cvmx_write_csr(uint64_t csr_addr, uint64_t val) 17 { 18 cvmx_write64_uint64 (csr_addr, val); 19 if ((csr_addr >> 40) != 0x800118) 20 linker_error (); 21 } 22 23 int uart; 24 25 int main()26main () 27 { 28 cvmx_write_csr (((((uint64_t) 2LL) << 62) 29 | (0x0001180000000808ull+((uart&0xff)*1024))), 30 0xfff); 31 return 0; 32 } 33