support for backlog

Change-Id: Id8f503234e7afaa284e6b97dc264eb3a2af145c7

arch/arm64/kernel/timer.c

@@ -111,6 +111,8 @@ static void timer_handler(void *priv)
 		/* set timer re-enable for periodic */
 		arch_timer_reg_write(ARCH_TIMER_REG_TVAL, clocks);
 		arch_timer_reg_write(ARCH_TIMER_REG_CTRL, ctrl);
+
+		do_backlog();
 	}
 }
 

arch/x86_64/kernel/cpu.c

@@ -952,6 +952,8 @@ void handle_interrupt(int vector, struct x86_user_context *regs)
 		v->flags |= CPU_FLAG_NEED_RESCHED;
 		ihk_mc_spinlock_unlock(&v->runq_lock, irqstate);
 		dkprintf("timer[%lu]: CPU_FLAG_NEED_RESCHED \n", rdtsc());
+
+		do_backlog();
 	}
 	else if (vector == LOCAL_PERF_VECTOR) {
 		struct siginfo info;