#ifndef _JOVE_ARCH_CPU_H
#define _JOVE_ARCH_CPU_H 1

#ifdef __x86_64__
#include "x86_64/cpu.h"
#endif

void cpu_setup(void);

void cpu_set_syscall_entry(void *entry);

void umode_enter(void *ip, void *sp);

#endif