HelenOS sources

read_barrier      130 kernel/arch/arm32/include/arch/mm/page_armv4.h 	read_barrier(); \
read_barrier      157 kernel/arch/arm32/include/arch/mm/page_armv6.h 	read_barrier(); \
read_barrier      138 kernel/arch/arm32/src/cpu/cpu.c 	read_barrier();
read_barrier      302 kernel/genarch/src/mm/page_pt.c 	read_barrier();
read_barrier      312 kernel/genarch/src/mm/page_pt.c 	read_barrier();
read_barrier      323 kernel/genarch/src/mm/page_pt.c 	read_barrier();
read_barrier      417 uspace/drv/bus/usb/xhci/trb_ring.c 	read_barrier();
read_barrier      440 uspace/drv/nic/rtl8139/driver.c 		read_barrier();
read_barrier      770 uspace/drv/nic/rtl8169/driver.c 		read_barrier();
read_barrier      690 uspace/lib/c/generic/time.c 	read_barrier();
read_barrier      693 uspace/lib/c/generic/time.c 	read_barrier();