blob: eb233f01e565aa908a12e76af51be4b406778605 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#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);
|