diff options
Diffstat (limited to 'dev/kernel/FirmwareKit/EFI/API.h')
| -rw-r--r-- | dev/kernel/FirmwareKit/EFI/API.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/kernel/FirmwareKit/EFI/API.h b/dev/kernel/FirmwareKit/EFI/API.h index 50964bb8..7c9ad93d 100644 --- a/dev/kernel/FirmwareKit/EFI/API.h +++ b/dev/kernel/FirmwareKit/EFI/API.h @@ -25,6 +25,9 @@ class BootTextWriter; inline EfiSystemTable* ST = nullptr; inline EfiBootServices* BS = nullptr; +EXTERN_C void rt_cli(); +EXTERN_C void rt_halt(); + namespace Boot { /// @brief Halt and clear interrut flag on x86. /// @return |