Searched refs:tsc_mode (Results 1 – 2 of 2) sorted by relevance
349 vki_uint32_t tsc_mode; member366 vki_uint32_t tsc_mode; member
913 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.tsc_mode); in PRE()919 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_0000000b, tsc_mode); in PRE()1872 __POST_XEN_DOMCTL_WRITE(gettscinfo, tsc_info_0000000b, tsc_mode); in POST()