Function wait

Kernel/src/arch/x86_64/smp.cpp:15–20

#include "smpdefines.inc"

static inline void wait(uint64_t ms){
    uint64_t ticksPerMs = (Timer::GetFrequency() / 1000);
    uint64_t timeMs = Timer::GetSystemUptime() * 1000 + (Timer::GetTicks() * ticksPerMs);
    
    while((Timer::GetSystemUptime() * 1000 + (Timer::GetTicks() * ticksPerMs)) - timeMs <= ms);
}

extern void* _binary_smptrampoline_bin_start;
extern void* _binary_smptrampoline_bin_size;