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