#pragma once

#include <stddef.h>

extern void arch_init(void *boot_info);
extern void arch_update(void);
extern void arch_halt(void);
extern void arch_wait_io(void);
extern void arch_wait_int(void);
extern void arch_disable_int(void);
extern void arch_enable_int(void);
extern void arch_poweroff(void);