Searched refs:tsc_mode (Results 1 – 2 of 2) sorted by relevance
345 vki_uint32_t tsc_mode; member
819 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info, info.tsc_mode); in PRE()1723 __POST_XEN_DOMCTL_WRITE(settscinfo, tsc_info, info.tsc_mode); in POST()