API.h File Reference

#include <FirmwareKit/EFI/EFI.h>
#include <FirmwareKit/Handover.h>
#include <KernelKit/MSDOS.h>
#include <KernelKit/PE.h>

Go to the source code of this file.

Namespaces
namespace	Boot
	Framebuffer helpers.

Functions
EXTERN_C void	rt_cli ()
EXTERN_C void	rt_halt ()
Void	Boot::Stop ()
	Halt and clear interrut flag on x86.
Void	Boot::ExitBootServices (UInt64 MapKey, EfiHandlePtr ImageHandle)
	Exit EFI API to let the OS load correctly. Bascially frees everything we have in the EFI side.
UInt32	Boot::Platform ()
void	Boot::ThrowError (const WideChar *errorCode, const WideChar *reason)
void	fw_init_efi (EfiSystemTable *SystemTable)

Variables
EfiSystemTable *	ST = nullptr
EfiBootServices *	BS = nullptr

Function Documentation

fw_init_efi()

void fw_init_efi ( EfiSystemTable * SystemTable )

inline

rt_cli()

EXTERN_C void rt_cli

(

)

rt_halt()

EXTERN_C void rt_halt

(

)

Variable Documentation

BS

EfiBootServices* BS = nullptr

inline

ST

EfiSystemTable* ST = nullptr

inline