俺もlinuxの2.6のprintkとかを見てみたら、va_start()のマクロが>>826のようになっていた。
カーネル読んでるのか、えらいな。