#include "soc_peripherals.h"

void __enable_irqs(void){
    //
}
void __enable_mcount(void) {
    //
}

void __read_mcycle(void) {
    //
}

void __enable_irqn(int IRQn) {
    //
}

void System_Delay(uint64_t ticks) {
    uint64_t tick_start = SysTick;
    while(SysTick < tick_start + ticks) {
        //
    }
}