On 27.02.2023 08:56, Xenia Ragiadakou wrote: > --- a/xen/arch/x86/include/asm/hvm/vmx/vmcs.h > +++ b/xen/arch/x86/include/asm/hvm/vmx/vmcs.h > @@ -644,18 +644,8 @@ static inline int vmx_write_guest_msr(struct vcpu *v, > uint32_t msr, > return 0; > } > > - > -/* MSR intercept bitmap infrastructure. */ > -enum vmx_msr_intercept_type { > - VMX_MSR_R = 1, > - VMX_MSR_W = 2, > - VMX_MSR_RW = VMX_MSR_R | VMX_MSR_W, > -}; > - > -void vmx_clear_msr_intercept(struct vcpu *v, unsigned int msr, > - enum vmx_msr_intercept_type type); > -void vmx_set_msr_intercept(struct vcpu *v, unsigned int msr, > - enum vmx_msr_intercept_type type); > +void vmx_clear_msr_intercept(struct vcpu *v, unsigned int msr, int type); > +void vmx_set_msr_intercept(struct vcpu *v, unsigned int msr, int type);
unsigned int please again for the last parameter each. Jan