dpif-linux: Use get_32aligned_u64() in an appropriate place.
[openvswitch] / utilities / bugtool / plugins /
drwxr-xr-x   ..
drwxr-xr-x - kernel-info
drwxr-xr-x - network-status
-rw-r--r-- 943 system-configuration.xml
drwxr-xr-x - system-configuration
drwxr-xr-x - system-logs