Searched refs:cpupool (Results 1 – 2 of 2) sorted by relevance
145 vki_uint32_t cpupool; member164 vki_uint32_t cpupool; member184 vki_uint32_t cpupool; member
1824 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000007, cpupool); in POST()1839 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000008, cpupool); in POST()1856 POST_XEN_DOMCTL_WRITE(getdomaininfo_00000009, cpupool); in POST()