drivers/clocksource/hyperv_timer.c300408f16364adc4e1f5c6676be6334ad1aa5245b99331e5e643486d2c4d480db4bf07f6ec866be4c78738eb3e1d3e4ab465f3c5e637d4163c1f3aed0dbb381b749da8ceec399d9e0333a0af3e13ddc61bb13494014df4cb93e2d945bd00cd5adb87ffdd2cb34fd1fea6