Searched refs:sched_id (Results 1 – 3 of 3) sorted by relevance
103 vki_uint32_t sched_id; /* IN: C OUT: I */ member166 vki_uint32_t sched_id; member179 struct vki_xen_sysctl_sched_id sched_id; member
275 vki_uint32_t sched_id; /* VKI_XEN_SCHEDULER_* */ member
668 PRE_XEN_SYSCTL_READ(cpupool_op, sched_id); in PRE()855 PRE_XEN_DOMCTL_READ(scheduler_op, sched_id); in PRE()858 switch(domctl->u.scheduler_op.sched_id) { in PRE()1580 POST_XEN_SYSCTL_WRITE(sched_id, sched_id); in POST()1588 POST_XEN_SYSCTL_WRITE(cpupool_op, sched_id); in POST()1759 switch(domctl->u.scheduler_op.sched_id) { in POST()