Searched defs:vki_xen_domctl_vcpu_msr_t (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/include/vki/ | ||
| H A D | vki-xen-domctl.h | 500 typedef struct vki_xen_domctl_vcpu_msr vki_xen_domctl_vcpu_msr_t; typedef in typeref:struct:vki_xen_domctl_vcpu_msr 501 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_vcpu_msr_t); variable 506 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_vcpu_msr_t) msrs; |
Completed in 73 milliseconds