Displaying 3 results from an estimated 3 matches for "mce_printk".
2012 Sep 18
6
[PATCH 2/5] Xen/MCE: vMCE injection
...)
+ /* inject vMCE to all vcpus */
+ for_each_vcpu(d, v)
{
- if ( d->is_hvm )
+ if ( !test_and_set_bool(v->mce_pending) &&
+ ((d->is_hvm) ||
+ guest_has_trap_callback(d, v->vcpu_id, TRAP_machine_check)) )
{
- mce_printk(MCE_VERBOSE, "MCE: inject vMCE to HVM DOM %d\n",
- d->domain_id);
- vcpu_kick(d->vcpu[0]);
+ mce_printk(MCE_VERBOSE, "MCE: inject vMCE to dom%d vcpu%d\n",
+ d->domain_id, v->vcpu_id);
+ vcpu...
2012 Jul 05
3
[PATCH] Xen/MCE: stick all 1's to MCi_CTL of vMCE
...( msr & (MSR_IA32_MC0_CTL | 3) )
{
case MSR_IA32_MC0_CTL:
- if ( bank < nr_mce_banks )
- *val = vmce->mci_ctl[bank] &
- (h_mci_ctrl ? h_mci_ctrl[bank] : ~0UL);
+ /* stick all 1''s to MCi_CTL */
+ *val = ~0UL;
mce_printk(MCE_VERBOSE, "MCE: rdmsr MC%u_CTL 0x%"PRIx64"\n",
bank, *val);
break;
@@ -220,8 +208,10 @@
switch ( msr & (MSR_IA32_MC0_CTL | 3) )
{
case MSR_IA32_MC0_CTL:
- if ( bank < nr_mce_banks )
- vmce->mci_ctl[bank]...
2012 Jan 25
26
[PATCH v4 00/23] Xenstore stub domain
Changes from v3:
- mini-os configuration files moved into stubdom/
- mini-os extra console support now a config option
- Fewer #ifdefs
- grant table setup uses hypercall bounce
- Xenstore stub domain syslog support re-enabled
Changes from v2:
- configuration support added to mini-os build system
- add mini-os support for conditionally compiling frontends, xenbus
-