vki-xen-domctl.h | 174 vki_uint32_t vcpu; /* IN */ member in struct:vki_xen_domctl_vcpuaffinity 218 vki_uint32_t vcpu; /* IN */ member in struct:vki_xen_domctl_vcpucontext 224 vki_uint32_t vcpu; member in struct:vki_xen_domctl_getvcpuinfo 317 vki_uint32_t vcpu; member in struct:vki_xen_domctl_vcpuextstate 329 vki_uint32_t vcpu; /* IN */ member in struct:vki_xen_domctl_debug_op
|