1 /* { dg-options "-O2" } */ 2 3 __extension__ typedef __INTPTR_TYPE__ intptr_t; 4 extern void linker_error (void); 5 typedef unsigned long long uint64_t; 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 dest_core, src_core; 24 25 int main()26main () 27 { 28 cvmx_write_csr ((((((uint64_t)2LL) << 62) 29 | ((0x0001070000000600ull+((dest_core&0xff)*8))))), 30 1ull << src_core); 31 return 0; 32 } 33