Searched refs:xdt_curdom (Results 1 – 1 of 1) sorted by relevance
369 uint_t xdt_curdom, xdt_curvcpu, xdt_curpcpu; variable688 xdt_curdom = dom; in xdt_update_domain_context()