Searched refs:cpupool_id (Results 1 – 2 of 2) sorted by relevance
102 vki_uint32_t cpupool_id; /* IN: CDIARM OUT: CI */ member
664 PRE_XEN_SYSCTL_READ(cpupool_op, cpupool_id); in PRE()1724 POST_XEN_SYSCTL_WRITE(cpupool_op, cpupool_id); in POST()