setup.h File Reference

EFI Setup header. More...

#include <types.h>
#include <logging.h>
#include <efi.h>
#include <disk.h>
#include <memory.h>

Macros
#define	___SETUP_H   0

Typedefs
typedef struct frame_allocator_t	frame_allocator_t
typedef uint64_t	time_t

Functions
void	video_print (const char_t *string)
	prints string to console with efi system table's console output protocol.
disk_t *	efi_disk_impl_open (efi_block_io_t *bio)
	opens an efi protocol based disk
efi_status_t	efi_frame_allocator_init (void)
	initializes frame allocator
time_t	time_ns (time_t *t)
	gets current time in nanoseconds
void	screen_clear (void)
	clears screen with efi system table's console output protocol.

Detailed Description

EFI Setup header.

This work is licensed under TURNSTONE OS Public License. Please read and understand latest version of Licence.

Macro Definition Documentation

___SETUP_H

#define ___SETUP_H   0

macro for avoiding multiple inclusion

Typedef Documentation

frame_allocator_t

typedef struct frame_allocator_t frame_allocator_t

opaque type for frame allocator

time_t

typedef uint64_t time_t

opaque type for time_t

Function Documentation

efi_disk_impl_open()

disk_t * efi_disk_impl_open

(

efi_block_io_t *

bio

)

opens an efi protocol based disk

Parameters

[in]

bio

efi block io protocol

Returns

a disk implementation based on efi protocols.

efi_frame_allocator_init()

efi_status_t efi_frame_allocator_init

(

void

)

initializes frame allocator

Returns

status of initialization

time_ns()

time_t time_ns

(

time_t *

t

)

gets current time in nanoseconds

Parameters

[out]

t

pointer to time_t

Returns

current time in nanoseconds

video_print()

void video_print

(

const char_t *

string

)

prints string to console with efi system table's console output protocol.

Parameters

[in]

string

string to print.