[x86_64] Re-enable tick callback kickoffs
@@ -23,12 +23,11 @@ static int tick_callback(register_state_t* regs) {
if (tick % 1000 == 0) {
printf("tick %d\n", tick);
}
- // TODO(PT): x86_64
// Wake sleeping services befores ending EOI, or else we
// might get interrupted by another tick while the AMC spinlock is held
- //amc_wake_sleeping_services();
+ amc_wake_sleeping_services();
pic_signal_end_of_interrupt(regs->int_no);
- //task_switch_if_quantum_expired();
+ task_switch_if_quantum_expired();
return 0;
}
