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
disk_t *	efi_disk_impl_open (efi_block_io_t *bio)
	opens an efi protocol based disk More...
efi_status_t	efi_frame_allocator_init (void)
	initializes frame allocator More...
time_t	time_ns (time_t *t)
	gets current time in nanoseconds More...

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