Searched refs:mc_domid (Results 1 – 1 of 1) sorted by relevance
84 uint16_t mc_domid; /* running domain at the time in error */ member99 uint16_t mc_domid; /* domain referenced by mc_addr if valid */ member286 uint16_t mc_domid; /* The unprivileged domain to notify */ member