Typedefs
typedef void(*	init_t) ()

typedef void(*	fini_t) ()

Functions
int64_t	local_init (struct section_info_t *info)

int64_t	local_fini (struct section_info_t *info)

Typedef Documentation

◆ init_t

typedef void(* init_t) ()

Definition at line 25 of file crt.cpp.

◆ fini_t

typedef void(* fini_t) ()

Definition at line 26 of file crt.cpp.

Function Documentation

◆ local_init()

int64_t local_init ( struct section_info_t * info )

Local Init

Initialized a binary / module. This is very similar to _init that GCC uses on Linux.This is called by the driver entry as each module. Each module has this function as it is statically linked with each module as it is compiled by the gcc wrapper

Precondition: expects: info != nullptr

Postcondition: ensures: none

Parameters

info	a pointer to the section info structure that is used by the init funcion.

Definition at line 29 of file crt.cpp.

◆ local_fini()

int64_t local_fini ( struct section_info_t * info )

Local Fini

Initialized a binary / module. This is very similar to _fini that GCC uses on Linux. This is called by the driver entry as each module. Each module has this function as it is statically linked with each module as it is compiled by the gcc wrapper

Precondition: expects: info != nullptr

Postcondition: ensures: none