tosdb_manager.64.c File Reference

TOSDB Manager Program. More...

#include <tosdb/tosdb_manager.h>
#include <tosdb/tosdb.h>
#include <driver/ahci.h>
#include <driver/nvme.h>
#include <disk.h>
#include <efi.h>
#include <logging.h>
#include <cpu/task.h>
#include <memory.h>
#include <linker.h>
#include <time/timer.h>

Functions
	MODULE ("turnstone.kernel.programs.tosdb_manager")
int32_t	tosdb_manager_main (int32_t argc, char_t **argv)
static uint64_t	tosdb_manager_clone_global_offset_table (uint64_t *got_return_size)
static uint64_t	tosdb_manager_get_entrypoint_virtual_address (uint64_t sym_id)
static void	tosdb_manager_build_module (tosdb_t *tdb, tosdb_manager_ipc_t *ipc, uint64_t mod_id, uint64_t sym_id)
static void	tosdb_manager_build_program (tosdb_t *tdb, tosdb_manager_ipc_t *ipc)
int8_t	tosdb_manager_init (void)
int8_t	tosdb_manager_close (void)
int8_t	tosdb_manager_clear (void)
int8_t	tosdb_manager_ipc_send_and_wait (tosdb_manager_ipc_t *ipc)

Variables
static boolean_t	tosdb_manager_is_initialized = false
static hashmap_t *	tosdb_manager_deployed_modules = NULL
static buffer_t *	tosdb_manager_global_offset_table_buffer = NULL
static hashmap_t *	tosdb_manager_got_symbol_index_map = NULL
static uint64_t	tosdb_manager_task_id = 0
const tosdb_manager_ipc_t	tosdb_manager_close_ipc

Detailed Description

TOSDB Manager Program.

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

Variable Documentation

tosdb_manager_close_ipc

const tosdb_manager_ipc_t tosdb_manager_close_ipc

Initial value:

= {
    .type = TOSDB_MANAGER_IPC_TYPE_CLOSE
}