Searched refs:vcpu_id (Results 1 - 6 of 6) sorted by relevance
/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/ | ||
H A D | pmu.h | 112 uint32_t vcpu_id; member in struct:xen_pmu_data 116 * guests set to vcpu_id; |
H A D | xenoprof.h | 80 uint32_t vcpu_id; member in struct:xenoprof_buf |
H A D | vm_event.h | 333 uint32_t vcpu_id; member in struct:vm_event_st |
H A D | domctl.h | 731 uint32_t vcpu_id; /* any vcpu in an event? */ member in struct:xen_domctl_gdbsx_domstatus |
H A D | sysctl.h | 577 /* If a domain has multiple VCPUs, vcpu_id specifies which one 580 unsigned int vcpu_id; member in struct:xen_sysctl_arinc653_schedule::__anon9123 |
/netbsd-current/sys/external/mit/xen-include-public/dist/xen/include/public/hvm/ | ||
H A D | hvm_op.h | 219 uint32_t vcpu_id; member in struct:xen_hvm_altp2m_vcpu_enable_notify |
Completed in 260 milliseconds