Searched refs:cpupool (Results 1 – 2 of 2) sorted by relevance
115 vki_uint32_t cpupool; member134 vki_uint32_t cpupool; member154 vki_uint32_t cpupool; member
1364 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, cpupool); in POST()1379 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, cpupool); in POST()1395 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, cpupool); in POST()