| 484 | } |
| 485 | |
| 486 | void Tick(regs64_t* r){ |
| 487 | if(!schedulerReady) return; |
| 488 | |
| 489 | APIC::Local::SendIPI(0, ICR_DSH_OTHER, ICR_MESSAGE_TYPE_FIXED, IPI_SCHEDULE); |
| 490 | |
| 491 | Schedule(nullptr, r); |
| 492 | } |
| 493 | |
| 494 | void Schedule(void* data, regs64_t* r){ |
| 495 | CPU* cpu = GetCPULocal(); |