return reverse_cpuid[x86_leaf];
 }
 
-static __always_inline int *guest_cpuid_get_register(struct kvm_vcpu *vcpu, unsigned x86_feature)
+static __always_inline u32 *guest_cpuid_get_register(struct kvm_vcpu *vcpu, unsigned x86_feature)
 {
        struct kvm_cpuid_entry2 *entry;
        const struct cpuid_reg cpuid = x86_feature_cpuid(x86_feature);
 
 static __always_inline bool guest_cpuid_has(struct kvm_vcpu *vcpu, unsigned x86_feature)
 {
-       int *reg;
+       u32 *reg;
 
        reg = guest_cpuid_get_register(vcpu, x86_feature);
        if (!reg)
 
 static __always_inline void guest_cpuid_clear(struct kvm_vcpu *vcpu, unsigned x86_feature)
 {
-       int *reg;
+       u32 *reg;
 
        reg = guest_cpuid_get_register(vcpu, x86_feature);
        if (reg)