起動時に提供されている現在のLinuxカーネルコマンドラインパラメータを表示する方法は？

設定ファイルでgrub.confカーネルが使用するコマンドラインパラメータを指定できます。

kernel /boot/kernel-3-2-1-gentoo root=/dev/sda1 vga=791

特定のカーネルを起動した後、まずカーネルに渡されたコマンドライン引数を表示する方法はありますか？ sysctlが見つかりました。

sysctl --all

しかし、sysctlが登場しましたみんな可能なカーネルパラメータ。