mc_domid           84 include/xen/interface/xen-mca.h 	uint16_t mc_domid; /* running domain at the time in error */
mc_domid           99 include/xen/interface/xen-mca.h 	uint16_t mc_domid; /* domain referenced by mc_addr if valid */
mc_domid          286 include/xen/interface/xen-mca.h 	uint16_t mc_domid; /* The unprivileged domain to notify */