virtual-machine - XEN CPUID 出口ハンドラー

Question

domU カーネルで cpuid 命令を実行するとどうなりますか? /tools/libxc の xc_cpuid_x86.c ファイルをチェックしていましたが、XEN が cpuid 命令をまったくトラップしていないようです。cpuid の XEN で終了ハンドラーが記述されている場所を見つけることができませんでした。どんな助けでも大歓迎です。