Searched refs:VKI_XEN_DOMCTL_SCHEDOP_putinfo (Results 1 – 2 of 2) sorted by relevance
286 #define VKI_XEN_DOMCTL_SCHEDOP_putinfo 0 macro
959 if ( domctl->u.scheduler_op.cmd == VKI_XEN_DOMCTL_SCHEDOP_putinfo ) { in PRE()