/* asm.h */
#ifndef ASM_H
#define ASM_H

#include "types.h"
#include "registers.h"

static const int timer_msec = 67000;

void syscall_handler(registers_t *reg);
void system_call(char *name, char *arg1);
void kload_timer(uint32_t timer_value);
uint32_t kset_sr(uint32_t and_mask, uint32_t or_mask);
uint32_t get_cause();
uint32_t get_timer();
void kset_registers(registers_t* regs);
registers_t* kget_registers();
void kdebug_magic_break();

#endif