/usr/src/lib/libvmm/amd64/