x86/vmce: include domain/vcpu id in debug messages
authorHaozhong Zhang <haozhong.zhang@intel.com>
Fri, 17 Feb 2017 14:56:46 +0000 (15:56 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 17 Feb 2017 14:56:46 +0000 (15:56 +0100)
commitfe416bf9957669e34e93a614970546b3a002f0e8
tree62f31d34d9cb00ce07f487bb0b5ecb7ee2f224c3
parent08dd2f782ed651ccb3e33389ea7c9f9f0773d74f
x86/vmce: include domain/vcpu id in debug messages

Signed-off-by: Haozhong Zhang <haozhong.zhang@intel.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/cpu/mcheck/vmce.c