This file is indexed.

/lib/modules/3.13.0-142-generic/kernel/drivers/hv/ is in linux-image-extra-3.13.0-142-generic 3.13.0-142.191.

This file is owned by root:root, with mode 0o755.