NEW_TLBFLUSH_CLOCK_PERIOD_SOFTIRQ is used but not registered.
I've never experienced but system will panic in the very long run.
Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
#include <asm/vmx.h>
#include <linux/efi.h>
#include <asm/iosapic.h>
+#include <xen/softirq.h>
unsigned long xenheap_phys_end, total_pages;
init_xen_time(); /* initialise the time */
timer_init();
+#ifdef CONFIG_XEN_IA64_TLBFLUSH_CLOCK
+ open_softirq(NEW_TLBFLUSH_CLOCK_PERIOD_SOFTIRQ, new_tlbflush_clock_period);
+#endif
+
#ifdef CONFIG_SMP
if ( opt_nosmp )
{
#define tlbflush_current_time() tlbflush_clock
u32 tlbflush_clock_inc_and_return(void);
+void new_tlbflush_clock_period(void);
static inline void
tlbflush_update_time(volatile u32* time, u32 timestamp)