HelenOS sources

write_barrier     243 kernel/arch/arm32/include/arch/mm/page_armv4.h 	write_barrier();
write_barrier     102 kernel/arch/sparc64/src/mm/sun4u/tsb.c 	write_barrier();
write_barrier     114 kernel/arch/sparc64/src/mm/sun4u/tsb.c 	write_barrier();
write_barrier     146 kernel/arch/sparc64/src/mm/sun4u/tsb.c 	write_barrier();
write_barrier     162 kernel/arch/sparc64/src/mm/sun4u/tsb.c 	write_barrier();
write_barrier     101 kernel/arch/sparc64/src/mm/sun4v/tsb.c 	write_barrier();
write_barrier     117 kernel/arch/sparc64/src/mm/sun4v/tsb.c 	write_barrier();
write_barrier     147 kernel/arch/sparc64/src/mm/sun4v/tsb.c 	write_barrier();
write_barrier     165 kernel/arch/sparc64/src/mm/sun4v/tsb.c 	write_barrier();
write_barrier     186 kernel/genarch/src/mm/page_ht.c 		write_barrier();
write_barrier      99 kernel/genarch/src/mm/page_pt.c 		write_barrier();
write_barrier     116 kernel/genarch/src/mm/page_pt.c 		write_barrier();
write_barrier     133 kernel/genarch/src/mm/page_pt.c 		write_barrier();
write_barrier     144 kernel/genarch/src/mm/page_pt.c 	write_barrier();
write_barrier     116 kernel/generic/src/time/clock.c 		write_barrier();
write_barrier     118 kernel/generic/src/time/clock.c 		write_barrier();
write_barrier     121 uspace/drv/bus/usb/ehci/endpoint_list.c 	write_barrier();
write_barrier     126 uspace/drv/bus/usb/ehci/endpoint_list.c 	write_barrier();
write_barrier     174 uspace/drv/bus/usb/ehci/endpoint_list.c 	write_barrier();
write_barrier     118 uspace/drv/bus/usb/ehci/hw_struct/transfer_descriptor.c 	write_barrier();
write_barrier     117 uspace/drv/bus/usb/ohci/endpoint_list.c 	write_barrier();
write_barrier     122 uspace/drv/bus/usb/ohci/endpoint_list.c 	write_barrier();
write_barrier     172 uspace/drv/bus/usb/ohci/endpoint_list.c 	write_barrier();
write_barrier     145 uspace/drv/bus/usb/uhci/transfer_list.c 	write_barrier();
write_barrier     152 uspace/drv/bus/usb/uhci/transfer_list.c 	write_barrier();
write_barrier     247 uspace/drv/bus/usb/uhci/transfer_list.c 	write_barrier();
write_barrier     200 uspace/drv/bus/usb/xhci/hw_struct/trb.h 	write_barrier();
write_barrier     419 uspace/drv/nic/rtl8139/driver.c 	write_barrier();
write_barrier     514 uspace/drv/nic/rtl8139/driver.c 	write_barrier();
write_barrier     519 uspace/drv/nic/rtl8139/driver.c 	write_barrier();
write_barrier     962 uspace/drv/nic/rtl8169/driver.c 		write_barrier();
write_barrier    1138 uspace/drv/nic/rtl8169/driver.c 	write_barrier();
write_barrier    1142 uspace/drv/nic/rtl8169/driver.c 	write_barrier();
write_barrier     181 uspace/lib/virtio/virtio.c 	write_barrier();
write_barrier     183 uspace/lib/virtio/virtio.c 	write_barrier();