Bug#656947: kfreebsd-kernel-headers: sys/soundcard.h unbuildable headers (conflicting types for `__clock_t')

[Maximiliano Curia <maxy@gnuservers.com.ar>]

Package: kfreebsd-kernel-headers
Version: 0.65
Severity: important

Hi,

A trivial C file (like the ones used by configure):

#include <sys/soundcard.h>

Fails with:
In file included from /usr/include/machine/_types.h:8:0,
                 from /usr/include/sys/_types.h:33,
                 from /usr/include/machine-i386/endian.h:37,
                 from /usr/include/machine/endian.h:8,
                 from /usr/include/sys/soundcard.h:110,
                 from test.c:1:
/usr/include/machine-i386/_types.h:53:23: error: conflicting types for ‘__clock_t’
/usr/include/i386-kfreebsd-gnu/bits/types.h:145:27: note: previous declaration of ‘__clock_t’ was here
In file included from /usr/include/machine-i386/endian.h:37:0,
                 from /usr/include/machine/endian.h:8,
                 from /usr/include/sys/soundcard.h:110,
                 from test.c:1:
/usr/include/sys/_types.h:106:19: error: conflicting types for ‘clock_t’
/usr/include/time.h:60:19: note: previous declaration of ‘clock_t’ was here

The other files are to be part of libc0.1-dev package version 2.13-24

Thanks,