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