TIGCC n'en a pas parce que:

Kevin Kofler (./37) :
Ces headers devraient ensuite être livrés avec le SDK du kernel ou de la lib, pas avec TIGCCLIB.

TIGCCLIB, c'est pour des programmes portables, pas pour utiliser des fonctionnalités spécifiques à PreOs.