2023-07-17 23:34:52 +00:00
|
|
|
#pragma once
|
|
|
|
|
|
2023-07-22 15:05:30 +00:00
|
|
|
#include <stddef.h>
|
|
|
|
|
|
2023-07-17 23:34:52 +00:00
|
|
|
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);
|
