defines in linux.h numbered