#include "hal_cpu.h"

#include <stdio.h>
#include <stdlib.h>

void hal_cpu_disable_irqs(void){
    //printf("hal_cpu_disable_irqs\n");
}
void hal_cpu_enable_irqs(void){
    //printf("hal_cpu_enable_irqs\n");
}
void hal_cpu_enable_irqs_and_sleep(void){
    //printf("hal_cpu_enable_irqs_and_sleep\n");
}