Bug#649727: /usr/include/linux/videodev2.h:1728:2: error: unknown type name 'uint64_t'
Package: kfreebsd-kernel-headers
Version: 0.60
Severity: serious
/usr/include/linux/videodev2.h spites out loads of unknown type errors for uint*_t:
/usr/include/linux/videodev2.h:66:1: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:69:1: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:72:1: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:75:1: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:243:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:244:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:251:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:252:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:253:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:254:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:255:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:256:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:285:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:286:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:287:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:289:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:290:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:292:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:401:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:403:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:404:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:405:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:406:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:424:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:425:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:429:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:430:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:431:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:432:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:433:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:434:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:438:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:439:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:440:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:447:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:466:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:467:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:468:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:469:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:470:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:477:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:485:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:486:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:487:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:488:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:489:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:490:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:491:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:520:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:542:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:545:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:549:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:551:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:552:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:556:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:561:3: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:564:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:565:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:566:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:583:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:584:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:616:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:618:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:620:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:627:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:628:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:630:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:631:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:632:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:640:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:641:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:643:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:644:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:645:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:667:1: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:757:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:759:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:761:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:762:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:769:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:770:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:777:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:778:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:779:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:780:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:781:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:782:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:814:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:815:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:816:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:817:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:818:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:819:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:820:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:821:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:822:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:823:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:824:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:825:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:828:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:831:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:834:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:848:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:851:3: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:862:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:863:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:864:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:865:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:866:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:868:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:869:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:870:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:910:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:911:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:912:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:913:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:914:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:916:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:917:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:933:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:938:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:939:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:940:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:949:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:950:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:951:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:952:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:978:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:980:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:985:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:986:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:991:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:992:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:993:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:994:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1363:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1364:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1366:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1367:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1368:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1369:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1370:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1373:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1377:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1378:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1379:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1380:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1381:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1382:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1383:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1412:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1414:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1415:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1419:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1421:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1422:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1423:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1431:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1432:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1433:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1451:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1452:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1453:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1454:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1455:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1466:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1467:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1468:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1469:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1470:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1485:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1486:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1487:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1488:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1489:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1494:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1495:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1496:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1510:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1511:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1514:4: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1530:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1531:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1532:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1533:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1535:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1536:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1537:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1552:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1557:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1558:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1559:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1576:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1581:2: error: unknown type name 'uint16_t'
/usr/include/linux/videodev2.h:1583:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1587:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1588:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1589:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1590:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1591:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1617:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1618:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1622:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1634:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1654:3: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1666:3: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1682:2: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1686:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1689:3: error: unknown type name 'uint8_t'
/usr/include/linux/videodev2.h:1691:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1692:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1694:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1698:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1699:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1717:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1719:3: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1726:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1727:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1728:2: error: unknown type name 'uint64_t'
/usr/include/linux/videodev2.h:1734:2: error: unknown type name 'uint32_t'
/usr/include/linux/videodev2.h:1735:2: error: unknown type name 'uint32_t'
see also https://buildd.debian.org/status/fetch.php?pkg=rhythmbox&arch=kfreebsd-amd64&ver=2.90.1%7Egit20111117.f101562-1&stamp=1321979981
Regards
Christoph
-- System Information:
Debian Release: wheezy/sid
APT prefers unstable
APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: kfreebsd-amd64 (x86_64)
Kernel: kFreeBSD 8.2-1-amd64
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
-- no debconf information
Reply to: