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