Searched defs:mc_domid (Results 1 – 1 of 1) sorted by relevance
129 uint16_t mc_domid; member144 uint16_t mc_domid; /* Usecase 5: domain referenced by mc_addr on dom0 member373 uint16_t mc_domid; /* The unprivileged domain to notify. */ member