get_rtc_noop
x86_platform.get_wallclock = get_rtc_noop;
extern void get_rtc_noop(struct timespec64 *now);