Searched refs:vki_xen_guest_tsc_info_t (Results 1 – 2 of 2) sorted by relevance
355 typedef struct vki_xen_guest_tsc_info vki_xen_guest_tsc_info_t; typedef356 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_guest_tsc_info_t);359 VKI_XEN_GUEST_HANDLE_64(vki_xen_guest_tsc_info_t) out_info; /* OUT */360 vki_xen_guest_tsc_info_t info; /* IN */
1869 sizeof(vki_xen_guest_tsc_info_t)); in POST()