Function GetTicks

Kernel/src/arch/x86_64/timer.cpp:77–79

    }

    uint32_t GetTicks(){
        return ticks;
    }

    uint32_t GetFrequency(){
        return frequency;