Onde está o arquivo de cabeçalho ptp_clock_kernel.h?

Question

Eu não consegui localizar o arquivo de cabeçalho "ptp_clock_kernel.h" na versão do cabeçalho 3.19.0-31-generic. É algo que precisamos adicionar à própria imagem do kernel?

conforme solicitado, a saída de "apt-cache policy linux-headers-3.19.0-31-generic":

linux-headers-3.19.0-31-generic:
  Installed: 3.19.0-31.36
  Candidate: 3.19.0-31.36
  Version table:
 *** 3.19.0-31.36 0
        500 http://us.archive.ubuntu.com/ubuntu/ vivid-updates/main amd64 Packages
        500 http://security.ubuntu.com/ubuntu/ vivid-security/main amd64 Packages
        100 /var/lib/dpkg/status

    

Answer 1

O arquivo de cabeçalho não está neste pacote do kernel, por favor, não me pergunte por quê.

• linux-headers-3.13.0-24 (fiel)
• linux-headers-3.19.0-15 (vívida)
• linux-headers-4.2.0-16 (Wily)

mas não para linux-generic-lts-vivid .