diff options
| -rw-r--r-- | arch/um/kernel/time.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/arch/um/kernel/time.c b/arch/um/kernel/time.c index 80d33735cfd2..204ddb141b01 100644 --- a/arch/um/kernel/time.c +++ b/arch/um/kernel/time.c @@ -190,7 +190,13 @@ static void time_travel_ext_update_request(unsigned long long time) void __time_travel_propagate_time(void) { + static unsigned long long last_propagated; + + if (last_propagated == time_travel_time) + return; + time_travel_ext_req(UM_TIMETRAVEL_UPDATE, time_travel_time); + last_propagated = time_travel_time; } EXPORT_SYMBOL_GPL(__time_travel_propagate_time); |