Searched refs:gtsc_khz (Results 1 – 2 of 2) sorted by relevance
346 vki_uint32_t gtsc_khz; member
820 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info, info.gtsc_khz); in PRE()1724 __POST_XEN_DOMCTL_WRITE(settscinfo, tsc_info, info.gtsc_khz); in POST()