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 -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
