Searched defs:vki_xen_domctl_tsc_info_0000000b (Results 1 – 1 of 1) sorted by relevance
364 struct vki_xen_domctl_tsc_info_0000000b { struct366 vki_uint32_t tsc_mode;367 vki_uint32_t gtsc_khz;368 vki_uint32_t incarnation;369 vki_uint32_t pad;370 vki_xen_uint64_aligned_t elapsed_nsec;