diff options
| author | Tyler Murphy <=> | 2023-07-22 11:05:30 -0400 |
|---|---|---|
| committer | Tyler Murphy <=> | 2023-07-22 11:05:30 -0400 |
| commit | da094d011f52a8f1ce879810cd1a4bbbe34f08d4 (patch) | |
| tree | 4649b04705b49c2eb5f8691a5d9951351f65df04 /kernel/include/arch.h | |
| parent | refactoring (diff) | |
| download | finix-da094d011f52a8f1ce879810cd1a4bbbe34f08d4.tar.gz finix-da094d011f52a8f1ce879810cd1a4bbbe34f08d4.tar.bz2 finix-da094d011f52a8f1ce879810cd1a4bbbe34f08d4.zip | |
Diffstat (limited to 'kernel/include/arch.h')
| -rw-r--r-- | kernel/include/arch.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/kernel/include/arch.h b/kernel/include/arch.h new file mode 100644 index 0000000..eb233f0 --- /dev/null +++ b/kernel/include/arch.h @@ -0,0 +1,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); |