2022-11-15 18:10:32 +00:00
|
|
|
#pragma once
|
|
|
|
|
#include <Result.h>
|
|
|
|
|
|
|
|
|
|
namespace CPU
|
|
|
|
|
{
|
|
|
|
|
Result<const char*> identify();
|
|
|
|
|
void platform_init();
|
|
|
|
|
|
|
|
|
|
[[noreturn]] void efficient_halt();
|
2022-11-15 19:41:59 +00:00
|
|
|
|
|
|
|
|
void switch_kernel_stack(u64 top);
|
2022-11-15 18:10:32 +00:00
|
|
|
}
|
