vki-xen-domctl.h | 351 typedef struct vki_xen_guest_tsc_info vki_xen_guest_tsc_info_t; typedef in typeref:struct:vki_xen_guest_tsc_info 352 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_guest_tsc_info_t); variable 370 VKI_XEN_GUEST_HANDLE_64(vki_xen_guest_tsc_info_t) out_info; /* OUT */ 371 vki_xen_guest_tsc_info_t info; /* IN */
|