Searched refs:vki_xen_guest_tsc_info (Results 1 – 1 of 1) sorted by relevance
344 struct vki_xen_guest_tsc_info { struct351 typedef struct vki_xen_guest_tsc_info vki_xen_guest_tsc_info_t; argument