>>591
カーネルが使ったアドレスがページテーブルに残ってると
ユーザプロセス側でゴニョゴニョするのに使われるから...ということだと思う

ざっと読み流した感じだと保護されたメモリ空間にアクセスした命令がリタイアして例外発生するまでに
投機実行される命令群が破棄されるべきテンポラリなキャッシュ内容を使えてしまう...みたいな