HYPERV_TIMER_FREQ
.tc_frequency = HYPERV_TIMER_FREQ,
vmbus_et.et_frequency = HYPERV_TIMER_FREQ;
vmbus_et.et_min_period = (0x00000001ULL << 32) / HYPERV_TIMER_FREQ;
vmbus_et.et_max_period = (0xfffffffeULL << 32) / HYPERV_TIMER_FREQ;
return (val.tv_sec * HYPERV_TIMER_FREQ) +
.tc_frequency = HYPERV_TIMER_FREQ,