Re: Kernel GPF in vmx_save_host_state()

Avi Kivity
2009-03-22T09:08:46Z

Benjamin Gilbert wrote:
> Avi Kivity wrote:
>> Well, that's certainly the wrmsr instruction. But I don't see how
>> this can happen.
>>
>> Can you patch set_efer() in x86.c to print the value of the efer
>> argument and of efer_reserved_bits?
>
> Yes, but apparently set_efer() is never called. To verify, I patched
> kvm_set_msr_common() to print the msr parameter:
>

On 32-bit, we might actually reach the default: label of the switch in
vmx_set_msr(). Can you add a printk() there? print both msr_index, and,
if msr is not NULL, msr->index and msr->data.

--
error compiling committee.c: too many arguments to function