dpif-linux: Use get_32aligned_u64() in an appropriate place.
[openvswitch] / debian / openvswitch-controller.manpages
1 _debian/utilities/ovs-controller.8