|
@@ -2070,7 +2070,7 @@ static int __find_msr_index(struct vcpu_vmx *vmx, u32 msr)
|
|
|
return -1;
|
|
|
}
|
|
|
|
|
|
-static inline void __invvpid(int ext, u16 vpid, gva_t gva)
|
|
|
+static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva)
|
|
|
{
|
|
|
struct {
|
|
|
u64 vpid : 16;
|
|
@@ -2085,7 +2085,7 @@ static inline void __invvpid(int ext, u16 vpid, gva_t gva)
|
|
|
BUG_ON(error);
|
|
|
}
|
|
|
|
|
|
-static inline void __invept(int ext, u64 eptp, gpa_t gpa)
|
|
|
+static inline void __invept(unsigned long ext, u64 eptp, gpa_t gpa)
|
|
|
{
|
|
|
struct {
|
|
|
u64 eptp, gpa;
|