Symbol: VIRQ_MCA
usr/src/cmd/mdb/i86xpv/modules/xpv_psm/xpv_psm.c
148
case VIRQ_MCA:
usr/src/uts/i86xpv/cpu/generic_cpu/gcpu_poll_xpv.c
195
gcpu_xpv_virq_vect = ec_bind_virq_to_irq(VIRQ_MCA, 0);