cpuid_arat_supported
cpuid_arat_supported()) {
if (cpuid_arat_supported()) {
extern int cpuid_arat_supported(void);