Searched refs:vki_xen_guest_tsc_info_t (Results 1 – 1 of 1) sorted by relevance
351 typedef struct vki_xen_guest_tsc_info vki_xen_guest_tsc_info_t; typedef352 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_guest_tsc_info_t);370 VKI_XEN_GUEST_HANDLE_64(vki_xen_guest_tsc_info_t) out_info; /* OUT */371 vki_xen_guest_tsc_info_t info; /* IN */