Lines Matching refs:getvcpuinfo
683 PRE_XEN_DOMCTL_READ(getvcpuinfo, vcpu);1290 POST_XEN_DOMCTL_WRITE(getvcpuinfo, online);1291 POST_XEN_DOMCTL_WRITE(getvcpuinfo, blocked);1292 POST_XEN_DOMCTL_WRITE(getvcpuinfo, running);1293 POST_XEN_DOMCTL_WRITE(getvcpuinfo, cpu_time);1294 POST_XEN_DOMCTL_WRITE(getvcpuinfo, cpu);