Este arquivo não faz parte da API de espaço do usuário do Linux, portanto, ele não é instalado em / usr / include.
Se o VirtualBox quiser compilar suas próprias extensões de kernel, ele deve adicionar o diretório de inclusão source do kernel ao seu caminho de inclusão.
(Isso seria /lib/
versão /modules/build/include/
.)