__kvm_x86_dev_get_attr
r = __kvm_x86_dev_get_attr(attr, &val);
return __kvm_x86_dev_get_attr(attr, &val);