Re: Kernel GPF in vmx_save_host_state()

Benjamin Gilbert
2009-03-23T18:54:10Z

Avi Kivity wrote:
> 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.

Sure:

vmx_set_msr: msr_index 0xc0000081 msr->index 0xc0000081 msr->data 0x0
vmx_set_msr: msr_index 0xc0010117
vmx_set_msr: msr_index 0x250
vmx_set_msr: msr_index 0x258
vmx_set_msr: msr_index 0x259
vmx_set_msr: msr_index 0x268
vmx_set_msr: msr_index 0x269
vmx_set_msr: msr_index 0x26a
vmx_set_msr: msr_index 0x26b
vmx_set_msr: msr_index 0x26c
vmx_set_msr: msr_index 0x26d
vmx_set_msr: msr_index 0x26e
vmx_set_msr: msr_index 0x26f
vmx_set_msr: msr_index 0x200
vmx_set_msr: msr_index 0x201
vmx_set_msr: msr_index 0x2ff
vmx_set_msr: msr_index 0xc0000080 msr->index 0xc0000080 msr->data 0x100
general protection fault: 0000 [#1] PREEMPT SMP
[...]

The printk is after msr->data is set to the value of the data parameter.

--Benjamin Gilbert