It should have been that way right from its introduction by 02e0de011555
("x86: APIC timer calibration when running as a guest").Signed-off-by: Jan Beulich <[email protected]> --- a/xen/arch/x86/apic.c +++ b/xen/arch/x86/apic.c @@ -1190,7 +1190,7 @@ static void __init check_deadline_errata "please update microcode to version %#x (or later)\n", rev); } -static void wait_tick_pvh(void) +static void __init wait_tick_pvh(void) { u64 lapse_ns = 1000000000ULL / HZ; s_time_t start, curr_time;
