Searched refs:__arch_getl (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dio.h15 #define __arch_getl(addr) *((volatile uint32_t*)(addr)) macro
32 #define __raw_readl(a) __arch_getl(a)
56 #define readl(c) ({ uint32_t __v = __arch_getl(c); __iormb(); __v; })
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dio.h16 #define __arch_getl(addr) *((volatile uint32_t*)(addr)) macro
37 #define __raw_readl(a) __arch_getl(a)
55 #define readl(c) ({ uint32_t __v = __arch_getl(c); __iormb(); __v; })
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dio.h15 #define __arch_getl(addr) *((volatile uint32_t*)(addr)) macro
33 #define __raw_readl(a) __arch_getl(a)
52 #define readl(c) ({ uint32_t __v = __arch_getl(c); __iormb(); __v; })

Completed in 34 milliseconds