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

/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/
H A Dio.h16 #define __arch_getw(addr) *((volatile uint16_t*)(addr)) macro
31 #define __raw_readw(a) __arch_getw(a)
55 #define readw(c) ({ uint16_t __v = __arch_getw(c); __iormb(); __v; })
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/
H A Dio.h17 #define __arch_getw(addr) *((volatile uint16_t*)(addr)) macro
36 #define __raw_readw(a) __arch_getw(a)
54 #define readw(c) ({ uint16_t __v = __arch_getw(c); __iormb(); __v; })
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/
H A Dio.h16 #define __arch_getw(addr) *((volatile uint16_t*)(addr)) macro
32 #define __raw_readw(a) __arch_getw(a)
51 #define readw(c) ({ uint16_t __v = __arch_getw(c); __iormb(); __v; })

Completed in 31 milliseconds